M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. Cryptology ePrint report 2003/015, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Composition of Cryptographic Protocols in a.. - Mateus, Mitchell.. (2003) (4 citations) (Correct)
....their own weaknesses, or might employ probabilistic techniques not expressed in the idealized model. Recently there have been several research e orts to relate the idealized model to cryptographic techniques and the computational model based on probabilistic polynomial time computation, including [7, 16, 23, 25, 26, 3, 2, 9, 4]. While these e orts develop rigorous mathematical settings carried out so far only by hand , it is hoped that they will eventually lead to a new generation of high delity automated tools for security analysis that will be able to express the methods and concepts of modern cryptography. Our ....
....method is discussed in [8] The details of the compiler itself can be expressed in our process calculus, but that falls beyond the scope of this paper. 4 Related work We brie y compare our approach with related work based on interactive Turing machines [7, 9] and secure reactive systems [25, 26, 3, 4]. The approach in [7, 9] is formulated in terms of interactive Turing machines (ITM) which are basically the familiar Turing machines with several additional tapes: read only random input tape, read and write switch tape (consisting of a single cell) and a pair of communication tapes, one ....
[Article contains additional citation context not shown here]
M. Backes, B. P tzmann, and M. Waidner. Universally composable cryptographic library. Manuscript available on eprint.iacr.org as 2003/015, 2003.
Cryptographically Sound Security Proofs for - Basic And Public-Key Self-citation (Backes) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive, Report 2003/015, http: //eprint.iacr.org/, January 2003.
Reactively Secure Signature Schemes - Backes, Pfitzmann, Waidner (2003) (6 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http: //eprint.iacr.org/.
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (1 citation) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
Reactively Secure Signature Schemes - Backes, Pfitzmann, Waidner (2003) (6 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http: //eprint.iacr.org/.
Symmetric Encryption in a Simulatable Dolev-Yao Style.. - Backes, Pfitzmann (2004) (14 citations) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003.
Symmetric Authentication within a Simulatable.. - Backes, Pfitzmann.. (2003) (8 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) Self-citation (Backes) (Correct)
....addressed more cryptographic primitives so far. On the other hand, the models of Pfitzmann et al. are more rigorously defined and early examples of tool supported proofs in their models exist [5, 4] using PVS [32] Moreover, the recently published universally composable cryptographic library [6] may pave the way to formal verification of large security protocols within their models. Outline. In Section 2 we review the reactive models for synchronous and asynchronous time. In Section 3, we explain how the embedding works and give a rigorous definition. Starting with a proof sketch of the ....
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
A Cryptographically Sound Security Proof of the.. - Backes, Pfitzmann (2003) (9 citations) Self-citation (Backes Pfitzmann) (Correct)
....sound foundation of the formal methods approach, the results are either specific for passive adversaries [3, 2] or they do not capture the local evaluation of nested cryptographic terms [8, 22] which is needed to model many usual cryptographic protocols. A recently proposed cryptographic library [5] allows for such nesting, but has not been applied to any security protocols yet. Thus, despite of the tremendous amount of research dedicated to the Needham Schroeder Lowe protocol, it is still an open question whether an actual implementation based on provably secure cryptographic primitives is ....
....with the mentioned cryptographic details, hence one naturally assumes that our proof heavily relies on complexity theory and is far out of scope of current proof tools. However, our proof is not performed from scratch in the cryptographic setting, but based on the mentioned cryptographic library [5]. This library provides cryptographically faithful, deterministic abstractions of cryptographic primitives, i.e. the abstractions can be securely implemented using actual cryptography. Moreover, the library allows for nesting the abstractions in an arbitrary way, quite similar to the original ....
[Article contains additional citation context not shown here]
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003.
On the Role of Definitions in and Beyond Cryptography - Phillip Rogaway Dept (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. Cryptology ePrint report 2003/015, 2003.
Information-Theoretic Conditions for - Two-Party Secure Function (2006) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. Cryptology ePrint Archive, Report 2003/015, 2003.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Backes, M., Pfitzmann, B., Waidner, M.: A universally composable cryptographic library. In: Proceedings of the ACM Conference on Computer and Communication Security. (2003)
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
No context found.
Backes, M., Pfitzmann, B., Waidner, M.: A universally composable cryptographic library. Cryptology ePrint Archive, Report 2003/015 (2003)
Universally Composable Time-Stamping Schemes with Audit - Buldas, Laud, Saarepera.. (2005) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. A Universally Composable Cryptographic Library. In Proceedings of the 10th ACM Conference on Computer and Communications Security, Washington, DC, October 2003. ACM Press.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (23 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003/015, Jan. 2003. http://eprint.iacr.org/.
A Composable Cryptographic Library with Nested.. - Backes, Pfitzmann.. (2003) (23 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR Cryptology ePrint Archive 2003.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. A Universally Composable Cryptographic Library. In Proceedings of the 10th ACM Conference on Computer and Communications Security, Washington, DC, October 2003. ACM Press.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner, "A Universally Composable Cryptographic Library," in Proceedings of the 10th ACM Conference on Computer and Communications Security. Washington, DC: ACM Press, Oct. 2003.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
M. Backes, B. P tzmann, and M. Waidner. A universally composable cryptographic library with nested operations. In Tenth ACM Conference on Computer and Communications Security, Washington, D.C., October 2003. ACM.
Universally Composable Signature, Certification, and Authentication - Canetti (2004) (Correct)
No context found.
M. Backes, B. P tzmann and M. Waidner, A Universally Composable Cryptographic Library, 10th ACM CCS, 2003. Full version in http://eprint.iacr.org/2003/015.
Logics for Reasoning about Cryptographic Constructions - Impagliazzo, Kapron (2003) (9 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. A universally composable cryptographic library. IACR preprint, available at http://eprint.iacr.org/2003/015/.
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