Formal Proofs for the Security of Signcryption

Joonsang Baek, Ron Steinfeld, Yuliang Zheng. Formal Proofs for the Security of Signcryption. J. Cryptology, 20(2):203-235, 2007. [doi]

Abstract

Abstract is missing.