International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

Authors:
Miguel Ambrona
Gilles Barthe
Benedikt Schmidt
Download:
DOI: 10.1007/978-3-662-49896-5_29
URL: https://www.iacr.org/archive/eurocrypt2016/96650340/96650340.pdf
Search ePrint
Search Google
Conference: EUROCRYPT 2016
Video from EUROCRYPT 2016
Video provided under Creative Commons / CC BY 3.0
BibTeX
@inproceedings{eurocrypt-2016-27583,
  title={Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model},
  booktitle={EUROCRYPT (2)},
  publisher={Springer},
  pages={822-851},
  url={https://www.iacr.org/archive/eurocrypt2016/96650340/96650340.pdf},
  doi={10.1007/978-3-662-49896-5_29},
  author={Miguel Ambrona and Gilles Barthe and Benedikt Schmidt},
  year=2016
}