International Association for Cryptologic Research
IACR paper details
| Title | Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange |
|---|---|
| Booktitle | IACR Eprint archive |
| Pages | |
| Year | 2010 |
| URL | http://eprint.iacr.org/2010/303 |
| Author | Ran Canetti |
| Author | Sebastian Gajek |
@misc{eprint-2010-23204,
title={Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange},
booktitle={IACR Eprint archive},
keywords={cryptographic protocols / Automated Proofs, Universal Composition, Diffie-Hellman key exchange, forward secrecy},
url={http://eprint.iacr.org/2010/303},
note={ gajek@post.tau.ac.il 14749 received 20 May 2010},
author={Ran Canetti and Sebastian Gajek},
year=2010
}