Provable Security: How Feasible Is It?

Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood

Browse the full HotOS paper archive.