@inproceedings{Klein_MGSW_11,
    address          = {Napa, USA},
    author           = {Klein, Gerwin and Murray, Toby and Gammie, Peter and Sewell, Thomas and Winwood, Simon},
    booktitle        = {Workshop on Hot Topics in Operating Systems (HotOS)},
    keywords         = {security, proof, sel4},
    month            = may,
    pages            = {5},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4631.pdf},
    publisher        = {USENIX},
    title            = {Provable Security: How feasible is it?},
    year             = {2011}
  }