"Provable Security: How Feasible Is It?"

Gerwin Klein et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics