The Critical Links for Securing the Internet of Things Dominique Bolignano, ProvenRun Abstract The Internet of Things is bringing new …
Resources
All
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. …