Formal proofs for the security of signcryption (2002)

by J BAEK, R STEINFELD, Y ZHENG
Venue:In Proc. 5th Workshop on Practice and Theory in Public Key Cryptosystems