CryptoDB
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
Authors: | |
---|---|
Download: |
BibTeX
@article{eprint-2015-26655, title={Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols}, journal={IACR Cryptology ePrint Archive}, volume={2015}, pages={74}, url={https://eprint.iacr.org/2015/074}, author={Gilles Barthe and Juan Manuel Crespo and Yassine Lakhnech and Benedikt Schmidt}, year=2015 }