A Formal Proof of Zhu's Signature Scheme

Huafei Zhu. A Formal Proof of Zhu's Signature Scheme. IACR Cryptology ePrint Archive, 2003:155, 2003. [doi]

Abstract

Abstract is missing.