Joonsang Baek Ron Steinfeld Yuliang Zheng Formal Proofs for the Security of Signcryption. 203-235 2007 20 J. Cryptology 2 http://dx.doi.org/10.1007/s00145-007-0211-0 db/journals/joc/joc20.html#BaekSZ07