CryptoDB
Automated Analysis of Cryptographic Assumptions in Generic Group Models
Authors: | |
---|---|
Download: |
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 }