Skip to main content


Publications

By year

2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 |

2006

  1. [BFPRW06]
    Zinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner.
    Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks, 3rd Security and Privacy in Ad-Hoc and Sensor Networks (ESAS 2006), LNCS 4357, Springer-Verlag, Berlin 2006, 165-178.
  2. [BCO06]
    Michael Backes, Christian Cachin, and Alina Oprea.
    Secure key-updating for lazy revocation. In D. Gollmann, J. Meier, and A. Sabelfeld, editors, Proc. 11th European Symposium On Research In Computer Security (ESORICS), number 4189 in Lecture Notes in Computer Science, pages 327-346. Springer, 2006.
  3. [BMPV06a]
    Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, and Luca Viganó.
    Symbolic and cryptographic analysis of the Secure WS-ReliableMessaging scenario. Record 2006/058, Cryptology ePrint Archive, February 2006. Long version of [BMPV06b].
  4. [BMPV06b]
    Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, and Luca Viganó.
    Symbolic and cryptographic analysis of the Secure WS-ReliableMessaging scenario. In Foundations of Software Science and Computation Structures (FOSSACS), volume 3921 of Lecture Notes in Computer Science, pages 428-445. Springer-Verlag, Berlin Germany, 2006. Long version [BMPV06a].
  5. [BP06]
    Michael Backes and Birgit Pfitzmann.
    On the cryptographic key secrecy of the strengthened Yahalom protocol. In 21st IFIP TC-11 International Information Security Conference (SEC'2006), May 2006. To appear. Preliminary version [BaPf2005c].
  6. [BPW06a]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Formal methods and cryptography. In Formal Methods (FM), volume 4085 of Lecture Notes in Computer Science, pages 612-616. Springer-Verlag, Berlin Germany, August 2006.
  7. [BPW06b]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Limits of the Reactive Simulatability/UC of Dolev-Yao models with hashes    . Record 2006/068, Cryptology ePrint Archive, February 2006. Revised shorter version to appear as  [BPW06c].
  8. [BPW06c]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Limits of the Reactive Simulatability/UC of Dolev-Yao models with hashes. In Proceedings of the 11th European Symposium on Research in Computer Security (ESORICS), LNCS 4189, Springer-Verlag, Berlin 2006, 404-423.
  9. [BPW06d]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Non-determinism in multi-party computation. In Workshop on Models for Cryptographic Protocols (MCP 2006), abstracts as report of ECRYPT (European Network of Excellence in Cryptology, IST-2002-507932, July 2006. (PDF)
  10. [BPW06e]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Soundness limits of Dolev-Yao models. In Workshop on Formal and Computational Cryptography (FCC), Venice, Italy, July 2006. No formal proceedings. (PDF)
  11. [CT06]
    Christian Cachin and Stefano Tessaro.
    Optimal resilience for erasure-coded Byzantine distributed storage. In Proc. International Conference on Dependable Systems and Networks (DSN-2006), pages 115-124, 2006.
  12. [GP06a]
    Thomas Groß and Birgit Pfitzmann.
    SAML artifact information flow revisited. Research Report RZ 3643 (#99653), IBM Research, January 2006. Presented as [GP06b]. (PDF)
  13. [GP06b]
    Thomas Groß and Birgit Pfitzmann.
    SAML artifact information flow revisited. In IEEE Workshop on Web Services Security, Berkeley, May 2006. Longer version [GP06a].
  14. [MP06a]
    Samuel Müller and Birgit Pfitzmann.
    Compliance Management basierend auf Gesetzesformalisierungen — Das REALM-Projekt. In Internationales Rechtsinformatik Symposion (IRIS), Vienna, February 2006. Verlag Österreich. (In German.) To appear.
  15. [MP06b]
    Samuel Müller and Birgit Pfitzmann.
    Effektives Compliance Management. DIGMA — Zeitschrift für Datenrecht und Informationssicherheit, 6(1):36-39, 2006.
  16. [Mül06]
    Samuel Müller.
    A dependability perspective on enterprise compliance. Research Report RZ 3667 (#99667), IBM Research Division, May 2006.
  17. [PC06]
    Roman Pletka and Christian Cachin.
    Cryptographic security for a high-performance distributed file system. Research Report RZ 3661, IBM Research, September 2006.
  18. [PSW06]
    Birgit Pfitzmann, Matthias Schunter, and Michael Waidner.
    Reactively simulatable certified mail. Record 2006/041, Cryptology ePrint Archive, February 2006. Strong revision of 2004 of [PfScWa200b] from 2000.
  19. [SBB+06a]
    Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann, and Michael Waidner.
    Cryptographically sound theorem proving. Record 2006/047, Cryptology ePrint Archive, February 2006.
  20. [SBB+06b]
    Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann, and Michael Waidner.
    Cryptographically sound theorem proving. In 19th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, Washington 2006, 153-166.
  21. [VNC+06]
    Paulo Veríssimo, Nuno F. Neves, Christian Cachin, Jonathan Poritz, David Powell, Yves Deswarte, Robert Stroud, and Ian Welch.
    Intrusion-tolerant middleware. IEEE Security & Privacy Magazine, 4(4):88-102, July 2006.