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 |

2003

  1. [Bac03]
    Michael Backes.
    Unifying simulatability definitions in cryptographic systems under different timing assumptions. In 14th International Conference on Concurrency Theory (CONCUR '03), volume 2761 of Lecture Notes in Computer Science, pages 350-365. Springer-Verlag, Berlin Germany, 2003. copyright Springer-Verlag, 2003. (PDF)
  2. [BC03]
    Michael Backes and Christian Cachin.
    Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries. In Proc. Intl. Conference on Dependable Systems and Networks (DSN-2003), pages 37-46, June 2003. copyright IEEE, 2003. (PDF)
  3. [BCS03]
    Michael Backes, Christian Cachin, and Reto Strobl.
    Proactive secure message transmission in asynchronous networks. In Proc. 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003), pages 223-232, July 2003.
  4. [BJ03]
    Michael Backes and Christian Jacobi.
    Cryptographically sound and machine-assisted verification of security protocols. In 20th International Symposium on Theoretical Aspects of Computer Science (STACS '03), volume 2607 of Lecture Notes in Computer Science, pages 675-686. Springer-Verlag, Berlin Germany, 2003. copyright Springer-Verlag, 2003. (PDF)
  5. [BP03a]
    Michael Backes and Birgit Pfitzmann.
    A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. Record 2003/121, Cryptology ePrint Archive, June 2003.
  6. [BP03b]
    Michael Backes and Birgit Pfitzmann.
    A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. In Proceedings of the 23rdConference on Foundations of Software Technology and Theoretical Computer Science — FSTTCS, volume 2914 of Lecture Notes in Computer Science, pages 140-152. Springer-Verlag, Berlin Germany, December 2003. Preliminary longer version [BP03a]. (PDF)
  7. [BP03c]
    Michael Backes and Birgit Pfitzmann.
    Intransitive non-interference for cryptographic purposes. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 140-152, Oakland, CA, May 2003. IEEE Computer Society, Technical Committee on Security and Privacy, IEEE Computer Society Press. copyright IEEE, 2003. (PDF)
  8. [BPS03]
    Michael Backes, Birgit Pfitzmann, and Matthias Schunter.
    A toolkit for managing enterprise privacy policies. In Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 162-180. Springer-Verlag, Berlin Germany, October 2003. copyright Springer-Verlag, 2003. (PDF)
  9. [BPW03a]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    A composable cryptographic library with nested operations. In 10th ACM Conference on Computer and Communications Security, pages 220-230, October 2003. copyright ACM, 2003. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is published as proceedings of CCS 03, 1-58113-738-9/03/0010 Long version  [BPW03f]. (PDF)
  10. [BPW03b]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Reactively secure signature schemes. In 6th Information Security Conference (ISC), volume 2851 of Lecture Notes in Computer Science, pages 84-95. Springer-Verlag, Berlin Germany, October 2003. copyright Springer-Verlag, 2003. (PDF)
  11. [BPW03c]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Security in business process engineering. In International Conference on Business Process Management (BPM ’03), volume 2678 of Lecture Notes in Computer Science, pages 168-183. Springer-Verlag, Berlin Germany, June 2003. copyright Springer-Verlag, 2003. (PDF)
  12. [BPW03d]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Symmetric authentication within a simulatable cryptographic library. Record 2003/145, Cryptology ePrint Archive, July 2003. Short version published as  [BPW03e].
  13. [BPW03e]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Symmetric authentication within a simulatable cryptographic library. In Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS), volume 2808 of Lecture Notes in Computer Science, pages 271-290. Springer-Verlag, Berlin Germany, October 2003. copyright Springer-Verlag, 2003. Long version [BPW03d]. (PDF)
  14. [BPW03f]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    A universally composable cryptographic library. Record 2003/015, Cryptology ePrint Archive, January 2003. Short version to be published as  [BPW03a].
  15. [BS03]
    Michael Backes and Matthias Schunter.
    From absence of certain vulnerabilities towards security proofs — pushing the limits of formal verification. In 10th ACM Workshop on New Security Paradigms (NSPW), Ascona, Switzerland, August 2003. To appear.
  16. [Cac03]
    Christian Cachin.
    An asynchronous protocol for distributed computation of RSA inverses and its applications. In Proc. 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003), pages 153-162, July 2003.
  17. [CK03]
    Jan Camenisch and Maciej Koprowski.
    Fine-grained forward-secure signature schemes without random oracles. In International Workshop on Coding and Cryptography 2003, 2003.
  18. [CS03]
    Christian Cachin and Asad Samar.
    Secure distributed DNS. Research Report RZ 3509, IBM Research, October 2003. (PDF)
  19. [GM03]
    Thomas Groß and Anthony Moran.
    Where access control systems may go. In 10th ACM Conference on Computer and Communications Security, October 2003. Industry Track.
  20. [Gro03]
    Thomas Groß.
    Security analysis of the SAML single sign-on browser/artifact profile. In 19th Annual Computer Security Applications Conference (ACSAC 2003). IEEE Computer Society Press, 2003. copyright IEEE, 2003. Earlier version IBM Research Report RZ 3501 (#99427) 06/30/03, IBM Research Division, Zurich, June 2003. (PDF)
  21. [Pfi03]
    Birgit Pfitzmann.
    Sound idealizations of cryptography for tool-supported proofs. In ACM Workshop on Formal Methods in Security Engineering (FMSE 2003), pages 64-65, October 2003. (Position statement for panel discussion).
  22. [PW03a]
    Birgit Pfitzmann and Michael Waidner.
    Analysis of Liberty single signon with enabled clients. IEEE Internet Computing, 7(6):38-44, November 2003. Preliminary version [PW02d]. Magazine version quite different from any personal copy we have.
  23. [PW03b]
    Birgit Pfitzmann and Michael Waidner.
    Federated identity-management protocols. In 11th International Workshop on Security Protocols, Cambridge (UK), April 2003, volume 3364 of Lecture Notes in Computer Science, pages 153-174. Springer-Verlag, Berlin Germany, 2003. copyright Springer-Verlag, 2005. (PDF)