Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)

Phillip Rogaway
IFIP TCS (2000), pp. 3-22

Abstract