With the advent of the IoT and the growing number of sophisticated cyber-attacks on connected systems, customers need to raise …
Resources
All
Kerlink and ProvenRun partner to deliver scalable Secure-by-Design LoRaWAN™ stations
Thorigné-Fouillard and Paris, France – 28 February 2017, 6:00 PM CET – Kerlink (ALKLK – FR0013156007), a specialist and global …
Webinar: Secure your embedded device with ProvenRun and Toradex
The Internet of Things is bringing forth new security challenges that need to be addressed before deployment reaches a larger …
ProvenRun, winner of the Innovative SME Award – FIC 2017
Organized jointly by the National Gendarmerie, CEIS and EuraTechnologies, and co-financed by the Regional Council of Hauts de France, the …
Proven Security for the Internet of Thing
Presented at the Embedded World Conference 2016 Dominique Bolignano, ProvenRun Abstract The large-scale deployment of the Internet of Things will …
ProvenRun Kickstarts its Automotive Business in the US
As part of the UbiMobility program sponsored by Business France and BpiFrance, ProvenRun has been selected by a judging panel …
ProvenRun Joins AUTOSAR
ProvenRun has joined AUTOSAR as a Development Partner. AUTOSAR (AUTomotive Open System ARchitecture) is a worldwide development partnership of vehicle manufacturers, suppliers and …
Formally Proven and Certified Off-The-Shelf Software Components
The Critical Links for Securing the Internet of Things Dominique Bolignano, ProvenRun Abstract The Internet of Things is bringing new …
ProvenRun to provide secure foundation of major IoT project
Consortium of Industry Leaders launches the “S3P” Major Collaborative Project and Alliance S3P Project aims at developing a Smart, Safe …
ProvenRun joins Pégase
ProvenRun has joined the Pégase world competitiveness cluster. Pégase is an organized network of actors regrouped to identify and realize new growth …
ProvenRun Joins HexaTrust
ProvenRun has joined the HexaTrust club that was founded by a group of French SMEs that are complementary players with expertise in …
ProvenCore: Towards a Verified Isolation Micro-Kernel
Stéphane Lescuyer, ProvenRun Abstract We report on an ongoing project aiming at a fully secure micro-kernel named ProvenCore. This operating …