| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model
Abstract : This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known Abadi-Rogaway logic with probabilistic hashes and give a precise semantic interpretation to it using Canetti's oracle hashes. These are probabilistic polynomialtime hashes that hide all partial information. Finally, we show that this interpretation is computationally sound and complete.
Cited literature [12 references]
https://hal.inria.fr/inria-00080675
Contributor : Véronique Cortier <>
Submitted on : Tuesday, June 20, 2006 - 3:02:02 PM
Last modification on : Tuesday, June 20, 2006 - 3:28:13 PM
Long-term archiving on: : Monday, April 5, 2010 - 11:06:40 PM
Contributor : Véronique Cortier <>
Submitted on : Tuesday, June 20, 2006 - 3:02:02 PM
Last modification on : Tuesday, June 20, 2006 - 3:28:13 PM
Long-term archiving on: : Monday, April 5, 2010 - 11:06:40 PM