International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Completeness of Formal Hashes in the Standard Model

Authors:
Flavio D. Garcia
Peter van Rossum
Download:
URL: http://eprint.iacr.org/2006/146
Search ePrint
Search Google
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
}