Notes related to SeL4: Formal verification of an OS kernel
Papers related to SeL4: Formal verification of an OS kernel
- seL4: from general purpose to a proof of information flow enforcement [murray:secpriv:2013]
SeL4: Formal verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Arthur Leck Sewell, Harvey Tuch, Simon Winwood[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles
SOSP '09
Big Sky, Montana, USA
Association for Computing Machinery
New York, NY, USA
Pages 207-220
2009
Topic(s): os verification
Note(s): operating systems, verification, translation validation
SOSP '09
Big Sky, Montana, USA
Association for Computing Machinery
New York, NY, USA
Pages 207-220
2009
Topic(s): os verification
Note(s): operating systems, verification, translation validation