Stéphane Lescuyer, ProvenRun Abstract We report on an ongoing project aiming at a fully secure micro-kernel named ProvenCore. This operating …
Trusted products and services for embedded security. Join-us on Linkedin
Trusted products and services for embedded security. Join-us on Linkedin
Stéphane Lescuyer, ProvenRun Abstract We report on an ongoing project aiming at a fully secure micro-kernel named ProvenCore. This operating …