Michael__Backes
A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol
A toolkit for managing enterprise privacy policies
A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015
Computational probabilistic non-interference
Cryptographically sound and machine-assisted verification of security protocols
Deriving cryptographically sound implementations using composition and formally verified bisimulation
Intransitive non-interference for cryptographic purposes
Polynomial Fairness and Liveness
Reactively secure signature schemes
Symmetric authentication within a simulatable cryptographic library