"LSV", "image" => array("../../news/lsv.jpg", "LSV"), "Address" => 'LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France', "plus" => array("../../info-acces", "Access information"), "vcard" => "../../news/lsv.vcf" )); //ADDBOX(array("title" => "Quick Links", "content" => '

')); STYLELSV(); MKPAGE(); ?>

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.