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:
URL: https://eprint.iacr.org/2014/458
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25599,
  title={Automated Analysis of Cryptographic Assumptions in Generic Group Models},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={458},
  url={https://eprint.iacr.org/2014/458},
  author={Gilles Barthe and Edvard Fagerholm and Dario Fiore and John C. Mitchell and Andre Scedrov and Benedikt Schmidt},
  year=2014
}