Formal proofs for the security of signcryption

Joonsang Baek, Ron Steinfeld, Yuliang Zheng

Research output: Contribution to journal › Article › Research › peer-review

Access to Document

@article{7d1c91bc38124f61be0c3a11e2a55f55,

title = "Formal proofs for the security of signcryption",

author = "Joonsang Baek and Ron Steinfeld and Yuliang Zheng",

year = "2007",

doi = "10.1007/s00145-007-0211-0",

language = "English",

volume = "20",

pages = "203 -- 235",

journal = "Journal of Cryptology",

issn = "0933-2790",

publisher = "Springer",

number = "2",

}