@inproceedings{Murray_MBGBSLGK_13,
    address          = {San Francisco, CA},
    author           = {Murray, Toby and Matichuk, Daniel and Brassil, Matthew and Gammie, Peter and Bourke, Timothy and
                        Seefried, Sean and Lewis, Corey and Gao, Xin and Klein, Gerwin},
    booktitle        = {IEEE Symposium on Security and Privacy},
    doi              = {10.1109/SP.2013.35},
    keywords         = {correctness proofs, information flow controls, mechanical verification},
    month            = may,
    pages            = {415--429},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6464.pdf},
    publisher        = {IEEE},
    slides           = {https://trustworthy.systems/publications/nicta_slides/6464.pdf},
    title            = {{seL4}: from General Purpose to a Proof of Information Flow Enforcement},
    year             = {2013}
  }