Conference Proceedings

Provable Security: How Feasible Is It?

G Klein, TC Murray, P Gammie, T Sewell, S Winwood

USENIX | Published : 2011