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/3-540-45664-3_6
Search ePrint
Search Google
Conference: PKC 2002
BibTeX
@inproceedings{pkc-2002-3333,
  title={Formal Proofs for the Security of Signcryption},
  booktitle={Public Key Cryptography - PKC 2003, 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={2274},
  pages={80-98},
  doi={10.1007/3-540-45664-3_6},
  author={Joonsang Baek and Ron Steinfeld and Yuliang Zheng},
  year=2002
}