Events

20/10/17

Meet Prove & Run at S3P Alliance Day 2017

Prove & Run, a founding member of the S3P Alliance, will be showing its formally proven operating systems ProvenCore and ProvenCore-M at the S3P Alliance Day in Paris on the 20th of October 2017. The event is free but registration is required. Please check the website of the event for more information. If you want […]

Learn more
21/11/16

Dominique Bolignano to talk at C&SAR Conference about the security of the IoT

Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk at the C&SAR Conference 2016 (21-23 November 2016). This talk will be a presentation of “Formally Proven and Certified Off-The-Shelf Software Components : The Critical Links for Securing the Internet of Things“, a paper to understand the current security challenges of the IoT and how to solve them using […]

Learn more
08/06/16

Meet Prove & Run at the Systematic Convention 2016

Prove & Run will be exhibiting at the Annual Systematic Convention in Paris at the Maison de la Chimie, on the 8th of June 2016. Digital Trust will be one of the focus of the Convention, and Prove & Run will use this opportunity to demonstrate how to use its formally proven OS kernels (ProvenCore and […]

Learn more
18/03/16

Dominique Bolignano to host a Seminar@SystemX about the IoT

On the 18th of March 2016, Dominique Bolignano (CEO and Founder of Prove & Run) will host a Seminar@SystemX. On this occasion, he will deliver a talk based on “Proven Security for the Internet of Things“, a paper to understand the current security challenges of the IoT and how to solve them using Prove & Run’s security bricks (such as ProvenCore, ProvenCore-M and ProvenVisor). […]

Learn more
23/03/16

Prove & Run at “Challenges of the IoT” Scientific Conference

On the 23rd of March 2016, the French Computing Society (“Société Informatique de France”, SIF) organizes a day of conferences about the scientific and technological challenges of the Internet of Things. On this occasion, Dominique Bolignano, Prove & Run’s founder and CEO, will deliver a talk based on “Proven Security for the Internet of Things“, a paper to understand […]

Learn more