International Association for Cryptologic Research
IACR paper details
| Title | A plausible approach to computer-aided cryptographic proofs |
|---|---|
| Booktitle | IACR Eprint archive |
| Pages | |
| Year | 2005 |
| URL | http://eprint.iacr.org/2005/181 |
| Author | Shai Halevi |
@misc{eprint-2005-12517,
title={A plausible approach to computer-aided cryptographic proofs},
booktitle={IACR Eprint archive},
keywords={implementation / Cryptographic Proofs, Automatic verification},
url={http://eprint.iacr.org/2005/181},
note={ shaih@alum.mit.edu 12949 received 15 Jun 2005},
author={Shai Halevi},
year=2005
}