Reconciling two views of cryptography (the computational soundness of formal encryption (2000)

by Martín Abadi, Phillip Rogaway
Venue:In IFIP International Conference on Theoretical Computer Science