Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood. Provable Security: How Feasible Is It?. In Matt Welsh, editor, 13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011. USENIX Association, 2011. [doi]
@inproceedings{KleinMGSW11,
title = {Provable Security: How Feasible Is It?},
author = {Gerwin Klein and Toby C. Murray and Peter Gammie and Thomas Sewell and Simon Winwood},
year = {2011},
url = {https://www.usenix.org/conference/hotosxiii/provable-security-how-feasible-it},
researchr = {https://researchr.org/publication/KleinMGSW11},
cites = {0},
citedby = {0},
booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011},
editor = {Matt Welsh},
publisher = {USENIX Association},
}