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

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

Abstract

Research Areas