@misc{Murray_Sewell_13,
    address          = {Annapolis, MD},
    author           = {Murray, Toby and Sewell, Thomas},
    booktitle        = {2013 High Confidence Software and Systems Conference},
    editor           = {{34-35}},
    month            = may,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7076.pdf},
    title            = {Above and Beyond: {seL4} Noninterference and Binary Verification},
    year             = {2013}
  }