OANA F. ANDREESCU, Internet of Trust, FranceTHOMAS JENSEN, Inria, France and ProvenRun, FranceSTÉPHANE LESCUYER, ProvenRun, FranceBENOÎT MONTAGU, ProvenRun, France Abstract …
Resources
Publications
Security Filters for IoT Domain Isolation
Presented at the ISoLA 2018 Conference – Print version Dominique Bolignano and Florence Plateau, ProvenRun Abstract. Network segregation is key to …
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 …
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 …
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 …