CryptoDB
Completeness of Formal Hashes in the Standard Model
Authors: | |
---|---|
Download: | |
Abstract: | We study an extension of the well-known Abadi-Rogaway logic with hashes. Previously, we have given a sound computational interpretation of this extension using Canetti's oracle hashing. This paper extends Micciancio and Warinschi's completeness result for the original logic to this setting. |
BibTeX
@misc{eprint-2006-21639, title={Completeness of Formal Hashes in the Standard Model}, booktitle={IACR Eprint archive}, keywords={foundations / hash functions, formal methods, symbolic hashes, Dolev-Yao, completeness, standard model}, url={http://eprint.iacr.org/2006/146}, note={in submission petervr@cs.ru.nl 13251 received 13 Apr 2006}, author={Flavio D. Garcia and Peter van Rossum}, year=2006 }