BibTeX record conf/sp/MurrayMBGBSLGK13

• > Home > conf/sp/MurrayMBGBSLGK13

@inproceedings{DBLP:conf/sp/MurrayMBGBSLGK13,
  author       = {Toby C. Murray and
                  Daniel Matichuk and
                  Matthew Brassil and
                  Peter Gammie and
                  Timothy Bourke and
                  Sean Seefried and
                  Corey Lewis and
                  Xin Gao and
                  Gerwin Klein},
  title        = {seL4: From General Purpose to a Proof of Information Flow Enforcement},
  booktitle    = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
                  CA, USA, May 19-22, 2013},
  pages        = {415--429},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SP.2013.35},
  doi          = {10.1109/SP.2013.35},
  timestamp    = {Fri, 24 Mar 2023 00:03:11 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/MurrayMBGBSLGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}