ProvenRun has joined the HexaTrust club that was founded by a group of French SMEs that are complementary players with expertise in …
Resources
All
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. …