International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Formal Proofs for the Security of Signcryption

Authors:
Joonsang Baek
Ron Steinfeld
Yuliang Zheng
Download:
DOI: 10.1007/s00145-007-0211-0
Search ePrint
Search Google
BibTeX
@article{jofc-2007-14325,
  title={Formal Proofs for the Security of Signcryption},
  journal={J. Cryptology},
  volume={20},
  pages={203-235},
  doi={10.1007/s00145-007-0211-0},
  author={Joonsang Baek and Ron Steinfeld and Yuliang Zheng},
  year=2007
}