Formal proofs for the security of signcryption (2002)

by Joonsang Baek, Ron Steinfeld, Yuliang Zheng
Venue:In Public Key Cryptography - PKC 2002