Verifiable-Text Attacks in Cryptographic Protocols.

Li Gong

Browse the full INFOCOM paper archive.