Meet Prove & Run at Eurosatory 2018

Prove & Run will be exhibiting at Eurosatory, June 11-15 2018, Paris, France. Come and meet us on the Eurosatory LAB stand, booth 57.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1532179818urnev1532179818orp@t1532179818catno1532179818c1532179818.

 

ARM released three Threat Models and Security Analyses (TMSA, also known as a Protection Profile) prepared by Prove & Run on ARM’s behalf for respectively a network camera, a water meter and an asset tracker. A TMSA is the starting point for assessing the security risk faced by a connected device. From this research, the right level of security can be determined, and then functional requirements established to mitigate the threats for the corresponding devices.

With ProvenCore and ProvenCore-M, Prove & Run’s ultra secure OS kernel for ARM Cortex-A and Cortex-M devices, Prove & Run can help the designers and users of network cameras, water meters and asset trackers to integrate the required security features so as to be protected from cyber-attacks at the right level.

Prove & Run is proud to be a member of a consortium of industry leaders (which include Altran, Orano, Framatome, ArianeGroup, Arkema and Total) that have just launched 2IdO, a project aimed as bringing the benefits of the Internet of Things to industrial and manufacturing markets.

The 2IDO project (Industrial Internet of Devices and Operators), is a consortium made up of eleven partners including three SMEs, two research organizations and six industrial companies federated around a major industrial challenge: to develop a new global system of efficient wireless communication, from miniaturized sensor to applications, with a high penetration in constrained environments and relying on secure technological bricks adapted from existing IoT markets.

For more information please consult this press release.

Prove & Run will be exhibiting at SIdO 2018, April 4-5 2018, Lyon, France. Come and meet us at the SCS stand at Lyon’s Cité Internationale.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1532179818urnev1532179818orp@t1532179818catno1532179818c1532179818.

Prove & Run will be exhibiting at embedded world 2018 in Nuremberg, from the 27th of February to the 1st of March. Come and meet us at our stand: Hall 4A stand 310!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1532179818nurne1532179818vorp@1532179818tcatn1532179818oc1532179818

Dominique Bolignano, Prove & Run’s CEO, will present a research paper entitled “Security Filters for IoT Domain Isolation” during the embedded conference.

This is offer is for a 6-month internship and is based at our R&D Center in Paris.

Objective

Develop a compiler from Prove & Run’s language to Scala.

Mission

As a Research & Development Engineer, you will join the team in charge of ProvenTools, the complete development toolchain created by Prove & Run. ProvenTools is an Eclipse-based IDE offering support to write models using Prove & Run’s language (Smart) and to compile them. Models written in Smart are compiled to mainstream languages and Scala is a target of choice, as it ultimately allows to compile Smart to Java bytecode; hereby offering various backends.

The project consists in designing and implementing a compiler to Scala integrated within ProvenTools. The project will require you to write an Eclipse plugin that provides the following features:

  • Generating a Scala implementation of Smart’s types and functions,
  • Generating Scala stubs for Smart’s external types and functions, so that the user can easily integrate handwritten and generated Scala code,
  • A generator integrated with ProvenTools’s existing APIs for compiling Smart to garbage-collected languages.

This project will be implemented in Java.

This offer is for a 4 to 6-month internship and is located in our office in Paris.

Profile

You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development and basic notions in compiler development. You are rigorous, independent and have good interpersonal skills.

The following experience is required:

  • The Java programming language
  • A functional programming language

Previous experience with the following tools will help ensure that you can hit the ground running:

  • The Eclipse development environment
  • Source code management tools (Git and Mercurial)

A good level of English is required.

Benefits

All interns will receive the following benefits:

  • Compensation of €1000-1200/month (gross)
  • Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!

Prove & Run will be exhibiting at CES 2018, January 9-12th 2018, Las Vegas, as part of the “Tech Automotive” delegation of the Systematic business cluster. Come and meet us at our stand: Las Vegas Convention Center, Stand CP-5!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1532179818nurne1532179818vorp@1532179818tcatn1532179818oc1532179818

 

Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk at the embedded world Conference 2018, on the 28th of February at 17:00.

This talk is entitled “Security Filters for IoT Domain Isolation”. It will present a filtering approach to security isolate multiple domains within an IoT device based on a simple configurable formally proven filtering application executed by an off-the-shelf highly secure formally proven OS kernel.

This is offer is for a 6-month internship and is based at our R&D Center in Sophia Antipolis (near Nice).

Objective

Develop an in-kernel debugger for a secure operating system.

Mission

In addition to providing a formally proven microkernel that gives strong security guarantees, ProvenCore comes with a full development environment to create new applications running on top of it. The ProvenCore SDK includes a PC simulator to speed up initial development but real-world platform debugging is a must most of the time. Bare metal debugging is possible but requires a certain level of skills that application developers may not have.

As a Research & Development Engineer, you will interact with the team in charge of developing our embedded security solutions. More precisely, you will extend a secure operating system to add an in-kernel debugger that allows monitoring of a specific application and provides an interface similar to gdbserver. In order to achieve this goal, you will have to:

  • Investigate existing solutions and analyze how they could be applied on our microkernel and supported hardware,
  • Implement the in-kernel debugger in the development version of ProvenCore,
  • Implement the necessary interfaces to communicate with the debugger from the developer’s computer.

Profile

You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development. You are rigorous, independent and have good interpersonal skills.

An interest in one or more of the following topics will be appreciated positively:

  • Embedded software development
  • Operating systems
  • Software security
  • Low-level mobile software development

Previous experience with the following tools will help ensure that you can hit the ground running:

  • Cross-compilation toolchains
  • Source code management tools
  • Issue tracking systems
  • Debuggers (GDB, etc)

A good level of English is required.

Benefits

All interns will receive the following benefits:

  • Compensation of €1000-1200/month (gross)
  • Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!

This is offer is for a 6-month internship and is based at our R&D Center in Sophia Antipolis (near Nice).

Objective

Improve Android Verified Boot with a Security Microkernel.

Mission

The most recent versions of Android make extensive use of security features available on the platform, including using Trusted Execution Environments and Secure Boot. One such feature is its so-called Verified Boot. While a secure boot gives guarantees that the binaries executed on the platform up to the Linux kernel have not been tampered with, it rarely encompasses Android framework binaries. Verified Boot tries to close this gap by providing a smart on-demand verification scheme of the system partition. Theses checks are performed on Linux side and are thus exposed to runtime attacks on the kernel to circumvent the protection.

As a Research & Development Engineer, you will interact with the team in charge of developing our embedded security solutions. More precisely, you will design and develop a proof of concept where the system partition verification is delegated to ProvenCore, our proven security microkernel. In order to achieve this goal, you will have to:

  • Analyze the current Android solution and its weaknesses,
  • Propose an architecture where the verification is performed in a secure way through our proven microkernel,
  • Implement a proof of concept on a reference hardware platform.

Profile

You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development. You are rigorous, independent and have good interpersonal skills. An interest in one or more of the following topics will be appreciated positively:

  • Embedded software development
  • Operating systems
  • Software security
  • Low-level mobile software development

Previous experience with the following tools will help ensure that you can hit the ground running:

  • Android Framework development
  • Cross-compilation toolchains
  • Source code management tools
  • Issue tracking systems
  • Debuggers (GDB, etc)

A good level of English is required.

Benefits

All interns will receive the following benefits:

  • Compensation of €1000-1200/month (gross)
  • Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!