Joonsang Baek, Ron Steinfeld, Yuliang Zheng. Formal Proofs for the Security of Signcryption. In David Naccache, Pascal Paillier, editors, Public Key Cryptography, 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002, Proceedings. Volume 2274 of Lecture Notes in Computer Science, pages 80-98, Springer, 2002. [doi]