IEEE - Institute of Electrical and Electronics Engineers, Inc. - seL4: From General Purpose to a Proof of Information Flow Enforcement

2013 IEEE Symposium on Security and Privacy (SP) Conference

Author(s): T. Murray ; D. Matichuk ; M. Brassil ; P. Gammie ; T. Bourke ; S. Seefried ; C. Lewis ; Xin Gao ; G. Klein
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2013
Conference Location: Berkeley, CA, USA
Conference Date: 19 May 2013
Page(s): 415 - 429
ISBN (Electronic): 978-0-7695-4977-4
ISBN (Paper): 978-1-4673-6166-8
ISBN (Online): 978-0-7695-4977-4
ISSN (Electronic): 1081-6011
ISSN (Paper): 1081-6011
DOI: 10.1109/SP.2013.35
Regular:

In contrast to testing, mathematical reasoning and formal verification can show the absence of whole classes of security vulnerabilities. We present the, to our knowledge, first complete, formal,... View More

Advertisement