Michael Backes, Birgit Pfitzmann, Michael Waidner  Home/Search
Context Related
| ibm.com/security/p...3dCryptoLibCCS.pdf 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: ibm.com/security/publicati...2003 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Michael Backes mbc@zurich.ibm.com Birgit Pfitzmann bpf@zurich.ibm.com Michael Waidner wmi@zurich.ibm.com ABSTRACT We present the first idealized cryptographic library that can be used like the Dolev-Yao model for automated proofs of cryptographic protocols that use nested cryptographic operations, while coming with a cryptographic implementation that is provably secure under active attacks. (Update)
Cited by: More
Formal Analysis of Kerberos 5 - Frederick Butler Iliano (Correct)
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
Key Confirmation and Adaptive Corruptions - In The Protocol (2006) (Correct)
Similar documents (at the sentence level): More
19.0%: A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (Correct)
16.0%: Universally Composable Cryptographic Library - Backes, Pfitzmann, Waidner (2003) (Correct)
5.3%: Symmetric Encryption - In Simulatable Dolev-Yao (Correct)
Active bibliography (related documents): More All
1.0: A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
0.8: Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (Correct)
0.5: Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (Correct)
Similar documents based on text: More All
0.6: Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (Correct)
0.4: Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003) (Correct)
0.4: Optimal Efficiency of Optimistic Contract Signing - Pfitzmann, Schunter, Waidner (1998) (Correct)
Related documents from co-citation: More All
24: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
20: Symmetric encryption in automatic analyses for confidentiality against active ad.. - Laud - 2004
20: The Computational Soundness of Formal Encryption (context) - Abadi, Rogaway et al. - 2000
BibTeX entry: (Update)
M. Backes, B. Pfitzmann, and M. Waidner. A composable cryptographic library with nested operations (extended abstract). In Proc. 10th ACM Conference on Computer and Communications Security, pages 220--230, 2003. http://citeseer.ist.psu.edu/article/backes03composable.html More
@misc{ backes03composable,
author = "M. Backes and B. Pfitzmann and M. Waidner",
title = "A composable cryptographic library with nested operations",
text = "M. Backes, B. Pfitzmann, and M. Waidner. A composable cryptographic library
with nested operations (extended abstract). In Proc. 10th ACM Conference
on Computer and Communications Security, pages 220--230, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/backes03composable.html" }
Citations (may not include all citations):501 A digital signature scheme secure against adaptive chosen-me.. - Goldwasser, Micali et al. - 1988
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
339 Theory and applications of trapdoor functions (context) - Yao - 1982
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
295 PVS: A prototype verification system (context) - Owre, Shankar et al. - 1992
260 Relations among notions of security for public-key encryptio.. (context) - Bellare, Desai et al. - 1998
254 Practical public key cryptosystem provably secure against ad.. - Cramer, Shoup - 1998
189 Universally composable security: A new paradigm for cryptogr.. - Canetti - 2001
188 Entity authentication and key distribution (context) - Bellare, Rogaway - 1994
184 Automated analysis of cryptographic protocols using mur - Mitchell, Mitchell et al. - 1997
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
120 Secure computation (context) - Micali, Rogaway - 1991
119 Chosen ciphertext attacks against protocols based on the RSA.. - Bleichenbacher - 1998
114 Non-interactive zero-knowledge proof of knowledge and chosen.. (context) - Rackoff, Simon - 1992
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
105 Secure hash-and-sign signatures without the random oracle - Gennaro, Halevi et al. - 1999
102 Robustness principles for public key protocols - Anderson, Needham - 1995
98 Fair computation of general functions in presence of immoral.. (context) - Goldwasser, Levin - 1990
92 Signature schemes based on the strong RSA assumption - Cramer, Shoup - 1999
90 Secure multiparty protocols and zero knowledge proof systems.. (context) - Beaver - 1991
77 Composition and integrity preservation of secure reactive sy.. - Pfitzmann, Waidner - 2000
74 A model for asynchronous reactive systems and its applicatio.. - Pfitzmann, Waidner - 2001
56 Formal eavesdropping and its computational interpretation - Abadi, Jurjens - 2001
40 Player simulation and general adversary structures in perfec.. - Hirt, Maurer - 2000
38 How to break a practical mix and design a new one - Desmedt, Kurosawa - 2000
33 Reconciling two views of cryptography: The computational sou.. - Abadi, Rogaway - 2000
33 Semantics and program analysis of computationally secure inf.. - Laud - 2001
32 New generation of secure and practical RSA-based signatures - Cramer, Damgard - 1996
28 The faithfulness of abstract protocol analysis: Message auth.. (context) - Guttman, Fabrega et al. - 2001
28 A universally composable cryptographic library - Backes, Pfitzmann et al. - 2003
27 Using the ASTRAL model checker for cryptographic protocol an.. - Dang, Kemmerer - 1997
27 Analysis of the SSL (context) - Wagner, Schneier - 1996
26 Two remarks concerning the Goldwasser-Micali-Rivest signatur.. - Goldreich - 1986
23 Cryptographically sound and machine-assisted verification of.. - Backes, Jacobi - 2003
23 Authenticated-encryption with associated-data (context) - Rogaway - 2002
22 Deriving cryptographically sound implementations using compo.. - Backes, Jacobi et al. - 2002
19 A cryptographically sound security proof of the Needham-Schr.. - Backes, Pfitzmann - 2003
19 A unified framework for analyzing security of protocols (context) - Canetti - 2000
17 Using a PVS embedding of CSP to verify authentication protoc.. - Dutertre, Schneider - 1997
16 Computational probabilistic non-interference - Backes, Pfitzmann - 2002
14 Secure signature schemes based on interactive protocols - Cramer, Damgard - 1995
13 Authenticated encryption in ssh: Provably fixing the ssh bin.. - Bellare, Kohno et al. - 2002
12 Presented DERARHUL Workshop Secure Architecture and Informat.. (context) - Schunter, security et al. - 1999
11 Polynomial fairness and liveness - Backes, Pfitzmann et al. - 2002
10 provably secure (context) - Pfitzmann, Waidner et al. - 1992
7 The verification of an industrial payment protocol: The set .. (context) - Bella, Massacci et al. - 2002
5 Intransitive non-interference for cryptographic purposes - Backes, Pfitzmann - 2003
4 A computational analysis of the Needham-Schroeder (context) - Warinschi - 2003
2 Net Passport accounts put at risk (context) - Fisher - 2003
1 The inductive approach to verifying (context) - Paulson - 1998
1 Security and composition of multiparty (context) - Canetti - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.zurich.ibm.com/security/publications/2003.html): More
Security Analysis of the SAML Single Sign-On Browser/Artifact.. - Groß (2003) (Correct)
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (Correct)
Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003) (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