Formal Proofs for the Security of Signcryption

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.