Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity.

Zhiyao Liang, Rakesh M. Verma

Browse the full ICISS paper archive.