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

by M Abadi, P Rogaway
Venue:Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics. pp. 3–22. TCS ’00,