Welcome to the resource topic for 2006/146
Title:
Completeness of Formal Hashes in the Standard Model
Authors: 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.
ePrint: https://eprint.iacr.org/2006/146
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .