Meet Prove & Run at CES 2018

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 .  

Learn more

Dominique Bolignano to talk at Embedded World Conference 2018

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 […]

Learn more

Dr. Eric Vétillard to talk at 6th Edition of Connect Security World

Dr. Eric Vétillard, Sr.Security Architect at Prove & Run, will deliver a talk about “A High Resilience Platform for IoT” at Connect Security World. He will also moderate a panel debate regarding the Economics of IoT Security  The 6th edition of Connect Security World will bring together digital security experts and IoT developers to discuss and define next gen secure […]

Learn more

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

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