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]
Abstract is missing.