Presence of Hash Functions Veronique Cortier Steve Kremer, Ralf Kusters,...  Home/Search
Context
Related
| iacr.org/2006/218.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iacr.org/2006/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper we devise and motivate a more appropriate secrecy criterion which exactly captures a standard cryptographic notion of secrecy for protocols involving public-key enryption and hash functions: protocols that satisfy it are computationally secure while any violation of our criterion directly leads to an attack.... (Update)
Active bibliography (related documents): More All
0.5: Key Confirmation and Adaptive Corruptions - In The Protocol (2006) (Correct)
0.5: A Protocol for Secure Public Instant Messaging - Mannan, van Oorschot (2006) (Correct)
0.3: Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ hash-computationally,
author = "Presence Of Hash",
title = "Computationally Sound Symbolic Secrecy in the",
url = "citeseer.ist.psu.edu/760530.html" }
Citations (may not include all citations):404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
188 Entity authentication and key distribution (context) - Bellare, Rogaway - 1993
47 Constraint solving for bounded-process cryptographic protoco.. - Millen, Shmatikov - 2001
35 Protocol Insecurity with Finite Number of Sessions and Compo.. - Rusinowitch, Turuani - 2003
23 Cryptographically sound and machine-assisted verification of.. - Backes, Jacobi - 2003
21 Soundness of formal encryption in the presence of active adv.. (context) - Micciancio, Warinschi - 2004
12 Reconciling two views of cryptography (context) - Abadi, Rogaway - 2000
12 An efficient cryptographic protocol verifier based on Prolog.. - Blanchet - 2001
11 constraint solving and insecurity decision in presence of ex.. (context) - Comon-Lundh, Shmatikov - 2003
11 Automated Proofs for Security Protocols (context) - Cortier, Warinschi - 2005
6 Deciding knowledge in security protocols under equational th.. (context) - Abadi, Cortier - 2004
4 Towards computationally sound symbolic analysis of key excha.. - Gupta, Shmatikov - 2005
2 The Avispa tool for the automated validation of internet sec.. (context) - Armando, Basin et al. - 2005
1 Soundness of formal encryption in the presence of active adv.. (context) - Canetti, Herzog - 2006
1 Relating cryptographic und symbolic key secrecy (context) - Backes, Pfitzmann - 2005
Documents on the same site (http://eprint.iacr.org/2006/): More
Simplified Pairing Computation and Security Implications - Galbraith, hEigeartaigh.. (2006) (Correct)
Cryptanalysis of an Image Scrambling Scheme without.. - Li, Li, Lo, Chen (2006) (Correct)
Non-Trivial Black-Box Combiners for Collision-Resistant.. - Pietrzak (2006) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC