Cryptology ePrint Archive: Report 2002/015

Available versions in chronological order


Security proofs of cryptographic protocols
Eva Jencusova


[ Cryptology ePrint archive ]