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

by M Abadi, P Rogaway
Venue:In Proceedings of the IFIP Conference on Theoretical Computer Science, Springer LNCS 1872