M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. ESORICS'03, pages 271--290. Springer LNCS 2808, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Cryptographically Sound Security Proofs for - Basic And Public-Key Self-citation (Backes) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. ESORICS'03, pages 271--290. Springer LNCS 2808, 2003.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) Self-citation (Backes) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003.
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003. Extended version in IACR Cryptology ePrint Archive 2003/145, Jul. 2003, http:// eprint.iacr.org/.
Limits of the Reactive Simulatability/UC of Dolev-Yao.. - Backes, Pfitzmann.. (2006) (3 citations) Self-citation (Backes Pfitzmann Waidner) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th ESORICS, volume 2808 of LNCS, pages 271--290. Springer, 2003.
Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) Self-citation (Backes Pfitzmann) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. 9th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003. Extended version in IACR Cryptology ePrint Archive 2003/145, Jul. 2003, http: //eprint.iacr.org/.
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) Self-citation (Backes) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of LNCS, pages 271--290. Springer, 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. Symmetric authentication within a simulatable cryptographic library. IACR Cryptology ePrint Archive 2003/145, July 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. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of LNCS, pages 271--290. Springer, 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. Symmetric authentication within a simulatable cryptographic library. IACR Cryptology ePrint Archive 2003/145, July 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. Symmetric authentication within a simulatable cryptographic library. In Proc. 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003.
Automated Security Proofs with Sequences of Games - Blanchet, Pointcheval (2006) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In ESORICS'03, LNCS 2808, pages 271--290. Springer, Oct. 2003.
A Computationally Sound Mechanized Prover for Security Protocols - Blanchet (2005) (3 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In E. Snekkenes and D. Gollman, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, volume 2808 of Lecture Notes on Computer Science, pages 271--290, Gjovik, Norway, Oct. 2003. Springer.
Universally Composable Security: A New Paradigm for Cryptographic .. - Canetti (2005) (163 citations) (Correct)
No context found.
M. Backes, B. P tzmann, and M. Waidner. Symmetric Authentication Within a Simulatable Cryptographic Library. 8th European Symposium on Research in Computer Security, ESORICS '03, LNCS 2808 pp. 271-290, 2003. Extended version at the eprint archive, http://eprint.iacr.org/2003/145.
Computationally Sound Verification of Security Protocols.. - Lakhnech, Mazare (2005) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Symmetric authentication within a simulatable cryptographic library. In Einar Snekkenes and Dieter Gollmann, editors, Proceedings of the 8th European Symposium on Research in Computer Security, ESORICS'03, volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003.
(De)Compositions of Cryptographic Schemes and their.. - Janvier, Lakhnech.. (2005) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner. Symmetric authentication within a simulatable cryptographic library. In ESORICS, volume 2808 of Lecture Notes in Computer Science, pages 271--290. Springer, 2003. (document)
Universally Composable Time-Stamping Schemes with Audit - Buldas, Laud, Saarepera.. (2005) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Symmetric authentication within a simulatable cryptographic library. In Einar Snekkenes and Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, volume 2808 of LNCS, pages 271--290, Gjvik, Norway, October 2003. SpringerVerlag.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Symmetric authentication within a simulatable cryptographic library. In Einar Snekkenes and Dieter Gollmann, editors, Computer Security - ESORICS 2003.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
M. Backes, B. Pfitzmann, and M. Waidner, "Symmetric authentication within a simulatable cryptographic library," in Computer Security - ESORICS 2003.
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