International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Computational Soundness of Coinductive Symbolic Security under Active Attacks

Authors:
Mohammad Hajiabadi
Bruce M. Kapron
Download:
DOI: 10.1007/978-3-642-36594-2_30
URL: https://www.iacr.org/archive/tcc2013/77850537/77850537.pdf
Search ePrint
Search Google
Conference: TCC 2013
BibTeX
@inproceedings{tcc-2013-24545,
  title={Computational Soundness of Coinductive Symbolic Security under Active Attacks},
  booktitle={10th Theory of Cryptography Conference},
  volume={7785},
  pages={537},
  url={https://www.iacr.org/archive/tcc2013/77850537/77850537.pdf},
  doi={10.1007/978-3-642-36594-2_30},
  author={Mohammad Hajiabadi and Bruce M. Kapron},
  year=2013
}