International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Automated Analysis of Cryptographic Assumptions in Generic Group Models

Authors:
Gilles Barthe
Edvard Fagerholm
Dario Fiore
John C. Mitchell
Andre Scedrov
Benedikt Schmidt
Download:
DOI: 10.1007/978-3-662-44371-2_6 (login may be required)
URL: https://www.iacr.org/archive/crypto2014/86160235/86160235.pdf
Search ePrint
Search Google
Conference: CRYPTO 2014
Video from CRYPTO 2014
BibTeX
@inproceedings{crypto-2014-25167,
  title={Automated Analysis of Cryptographic Assumptions in Generic Group Models},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={95-112},
  url={https://www.iacr.org/archive/crypto2014/86160235/86160235.pdf},
  doi={10.1007/978-3-662-44371-2_6},
  author={Gilles Barthe and Edvard Fagerholm and Dario Fiore and John C. Mitchell and Andre Scedrov and Benedikt Schmidt},
  year=2014
}