LSV 15th anniversary, February 6–7, 2012, Cachan
OS Security and Formal Proof : The Prove&Run Approach
Talk by Dominique Bolignano (Prove & Run)
Abstract
The security needs for mobile OS have been increasing recently very
significantly due to the fast deployment of mobile devices and the
importance they tend to play in private life usage and in corporate usage.
We will present how these security needs can be addressed by significantly
increasing the correctness of selected parts of the OS. We will present
Prove & Run's plan to demonstrate this through the use of formal methods,
and formal proof.
