Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sp/MurrayMBGBSLGK13
%A Murray, Toby C.
%A Matichuk, Daniel
%A Brassil, Matthew
%A Gammie, Peter
%A Bourke, Timothy
%A Seefried, Sean
%A Lewis, Corey
%A Gao, Xin
%A Klein, Gerwin
%B IEEE Symposium on Security and Privacy
%D 2013
%I IEEE Computer Society
%K dblp
%P 415-429
%T seL4: From General Purpose to a Proof of Information Flow Enforcement.
%U http://dblp.uni-trier.de/db/conf/sp/sp2013.html#MurrayMBGBSLGK13
%@ 978-1-4673-6166-8
@inproceedings{conf/sp/MurrayMBGBSLGK13,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Murray, Toby C. and Matichuk, Daniel and Brassil, Matthew and Gammie, Peter and Bourke, Timothy and Seefried, Sean and Lewis, Corey and Gao, Xin and Klein, Gerwin},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eaa35ac315d75ff932cd800390341d10/dblp},
booktitle = {IEEE Symposium on Security and Privacy},
crossref = {conf/sp/2013},
ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2013.35},
interhash = {51ba2beeb967eb9ed04c656ac270ef82},
intrahash = {eaa35ac315d75ff932cd800390341d10},
isbn = {978-1-4673-6166-8},
keywords = {dblp},
pages = {415-429},
publisher = {IEEE Computer Society},
timestamp = {2019-09-27T20:58:18.000+0200},
title = {seL4: From General Purpose to a Proof of Information Flow Enforcement.},
url = {http://dblp.uni-trier.de/db/conf/sp/sp2013.html#MurrayMBGBSLGK13},
year = 2013
}