Weak Key Authenticity and the Computational Completeness of Formal Encryption.

Omer Horvitz, Virgil D. Gligor

Browse the full CRYPTO paper archive.