Completeness of Formal Hashes in the Standard Model

Flavio D.  Garcia; Peter van Rossum

Paper 2006/146 Original: eprint.iacr.org/2006/146 ↗

Completeness of Formal Hashes in the Standard Model

Flavio D. Garcia

Peter van Rossum

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.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint.
History: 2006-04-13: last updated; 2006-04-13: published
Short URL: https://ia.cr/2006/146
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2006/146,
      author = {Flavio D.  Garcia and Peter van Rossum},
      title = {Completeness of Formal Hashes in the Standard Model},
      howpublished = {Cryptology {ePrint} Archive, Paper 2006/146},
      year = {2006},
      url = {https://eprint.iacr.org/2006/146}
}