Cryptology ePrint Archive: Report 2005/181

Available versions in chronological order

20050615:215332 (posted 15-Jun-2005 21:53:32 UTC): A plausible approach to computer-aided cryptographic proofs; Shai Halevi

[ Cryptology ePrint archive ]