Cryptology ePrint Archive: Report 2003/155
Available versions in chronological order
20030805:172041 (posted 05-Aug-2003 17:20:41 UTC)
A Formal Proof of Zhu's Signature Scheme
huafei zhu
20030808:075709 (posted 08-Aug-2003 07:57:09 UTC)
A Formal Proof of Zhu's Signature Scheme
huafei zhu
[
Cryptology ePrint archive
]