Organized jointly by the National Gendarmerie, CEIS and EuraTechnologies, and co-financed by the Regional Council of Hauts de France, the …
Resources
All
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 …
ProvenRun Joins GlobalPlatform as Participating Member
ProvenRun has joined GlobalPlatform, the organization that standardizes the management of applications on secure chip technology, as a Participating Member. …