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 |

2004

  1. [Bac04a]
    Michael Backes.
    A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol. In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS), volume 3193 of Lecture Notes in Computer Science, pages 89-108. Springer-Verlag, Berlin Germany, September 2004. copyright Springer-Verlag, 2004. (PDF)
  2. [Bac04b]
    Michael Backes.
    Unifying simulatability definitions in cryptographic systems under different timing assumptions. Journal of Logic and Algebraic Programming, 2004. To appear; accepted 2004. Journal version of [Back2003].
  3. [BBKS04]
    Michael Backes, Walid Bagga, Günter Karjoth, and Matthias Schunter.
    Efficient comparison of enterprise privacy policies. In 19th ACM Symposium on Applied Computing, pages 375-382, March 2004.
  4. [BCC04]
    Ernie Brickell, Jan Camenisch, and Liqun Chen.
    Direct anonymous attestation. In 11th ACM Conference on Computer and Communicatons Security. Association for Computing Machinery, October 2004.
  5. [BCL04]
    Endre Bangerter, Jan Camenisch, and Anna Lysyanskaya.
    A cryptographic framework for the controlled release of certified data. In Twelfth International Workshop on Security Protocols, Lecture Notes in Computer Science. Springer Verlag, 2004.
  6. [BD04]
    Michael Backes and Markus Dürmuth.
    A cryptographically sound Dolev-Yao style security proof of an electronic payment system. Research Report RZ 3565, IBM Research Division, November 2004. Conference version: [BaDu2005]. (PDF)
  7. [BDD+04]
    Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, and Mathieu Turuani.
    Compositional analysis of contract signing protocols. Research Report RZ 3566, IBM Research Division, November 2004. Conference version: [BDDMT2005].
  8. [BDK04]
    Michael Backes, Markus Dürmuth, and Günter Karjoth.
    Unification in privacy policy evaluation — translating EPAL to Prolog. In 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), pages 185-188. IEEE Computer Society Press, June 2004.
  9. [BDS04]
    Michael Backes, Markus Dürmuth, and Rainer Steinwandt.
    An algebra for composing enterprise privacy policies. In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS), volume 3193 of Lecture Notes in Computer Science, pages 33-52. Springer-Verlag, Berlin Germany, September 2004. copyright Springer-Verlag, 2004. (PDF)
  10. [BH04]
    Michael Backes and Dennis Hofheinz.
    How to break and repair a universally composable signature functionality. In 7th Information Security Conference (ISC), volume 3225 of Lecture Notes in Computer Science, pages 61-72. Springer-Verlag, Berlin Germany, October 2004. copyright Springer-Verlag, 2004.
  11. [BP04a]
    Michael Backes and Birgit Pfitzmann.
    Computational probabilistic non-interference. International Journal of Information Security, 3(1):42-60, October 2004. Journal version of [BaPf2002].
  12. [BP04b]
    Michael Backes and Birgit Pfitzmann.
    A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. IEEE Journal on Selected Areas in Communications, 22(10):2075-2086, December 2004. Journal version of [BP03b].
  13. [BP04c]
    Michael Backes and Birgit Pfitzmann.
    Relating symbolic and cryptographic secrecy. Record 2004/300, Cryptology ePrint Archive, November 2004.
  14. [BP04d]
    Michael Backes and Birgit Pfitzmann.
    Symmetric encryption in a simulatable Dolev-Yao style cryptographic library. In 17th IEEE Computer Security Foundations Workshop, pages 204-218. IEEE Computer Society Press, 2004. copyright IEEE, 2004. Longer preliminary version: [BP04e]. (PDF)
  15. [BP04e]
    Michael Backes and Birgit Pfitzmann.
    Symmetric encryption in a simulatable Dolev-Yao style cryptographic library. Record 2004/059, Cryptology ePrint Archive, February 2004. Conference version: [BP04d].
  16. [BPSW04]
    Michael Backes, Birgit Pfitzmann, Michael Steiner, and Michael Waidner.
    Polynomial liveness. Journal of Computer Security, 12(3):589-618, 2004. copyright IOS Press, 2004 (http://www.csl.sri.com/programs/security/jcs/toc.html). Journal version of [BPSW02]. (PDF)
  17. [BPW04a]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    A general composition theorem for secure reactive systems. In 1st Theory of Cryptography Conference (TCC) 2004, volume 2951 of Lecture Notes in Computer Science, pages 336-354. Springer-Verlag, Berlin Germany, February 2004. copyright Springer-Verlag, 2004. (PDF)
  18. [BPW04b]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Low-level ideal signatures and general integrity idealization. In 7th Information Security Conference (ISC), volume 3225 of Lecture Notes in Computer Science, pages 39-51. Springer-Verlag, Berlin Germany, October 2004. copyright Springer-Verlag, 2004. (PDF)
  19. [BPW04c]
    Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Secure asynchronous reactive systems. Record 2004/082, Cryptology ePrint Archive, March 2004. Significantly extended first part of  [PfiWai2001].
  20. [Cac04]
    Christian Cachin.
    An information-theoretic model for steganography. Information and Computation, 192(1):41-56, July 2004. (Parts of this paper appeared in Proc. 2nd Workshop on Information Hiding, Springer, 1998.).
  21. [Cam04]
    Jan Camenisch.
    Better privacy for trusted computing platforxms. In Peter Ryan and Pierangela Samarati, editors, European Symposium on Research in Computer Security — ESORICS 2004, Lecture Notes in Computer Science. Springer Verlag, 2004.
  22. [CC04]
    Christian Cachin and Jan Camenisch, editors.
    Advances in Cryptology — EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science. Springer, 2004.
  23. [CG04]
    Jan Camenisch and Jens Groth.
    Group signatures: Better efficiency and new theoretical aspects. In Security in Communication Networks, Forth International Conference, SCN 2004, Lecture Notes in Computer Science. Springer Verlag, 2004.
  24. [CJ04]
    Brian E. Carpenter and Philippe A. Janson.
    Abstract interdomain security assertions: A basis for extra-grid virtual organizations. IBM Systems Journal, 43(4):689-701, November 2004. (PDF)
  25. [CKW04]
    Jan Camenisch, Maciej Koprowski, and Bogdan Warinschi.
    Efficient blind signatures without random oracles. In Security in Communication Networks, Forth International Conference, SCN 2004, Lecture Notes in Computer Science. Springer Verlag, 2004. In submission.
  26. [CL04]
    Jan Camenisch and Anna Lysyanskaya.
    Signature schemes and anonymous credentials from bilinear maps. In Advances in Cryptology — CRYPTO 2004, Lecture Notes in Computer Science. Springer Verlag, 2004.
  27. [CS04a]
    Christian Cachin and Asad Samar.
    Secure distributed DNS. In Proc. Intl. Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, pages 423-432. IEEE, June 2004. (PDF)
  28. [CS04b]
    Christian Cachin and Reto Strobl.
    Asynchronous group key exchange with failures. In Proc. 23rd ACM Symposium on Principles of Distributed Computing (PODC 2004), July 2004. (PDF)
  29. [CT04]
    Christian Cachin and Stefano Tessaro.
    Asynchronous verifiable information dispersal. Research Report RZ 3569, IBM Research, December 2004. (PDF)
  30. [GP04]
    Thomas Groß and Birgit Pfitzmann.
    Proving a WS-Federation Passive Requestor Profile. In ACM Secure Web Services Workshop (SWS). ACM Press, October 2004. Preproceedings pp. 1-10. copyright ACM, 2004. 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 will published as proceedings of SWS’04, 1-58113-973-X/04/0010. (PDF)
  31. [Pfi04a]
    Birgit Pfitzmann.
    Privacy in enterprise identity federation — policies for Liberty 2 single signon. Elsevier Information Security Technical Report (ISTR), 9(1):45-58, 2004. See http://www.sciencedirect.com/science/journal/13634127. Preprint provided here in pdf. Copyright Elsevier Ltd., 2004. (PDF)
  32. [Pfi04b]
    Birgit Pfitzmann.
    Privacy in enterprise identity federation — policies for Liberty single signon. In 3rd International Workshop on Privacy Enhancing Technologies (PET 2003), volume 2760 of Lecture Notes in Computer Science, pages 189-204. Springer-Verlag, Berlin Germany, 2004. Earlier version  [Pfi2002]. copyright Springer-Verlag, Berlin Heidelberg 2003. (PDF)
  33. [Van04a]
    Els Van Herreweghen.
    A risk-driven approach to designing privacy-enhanced secure applications. In Proc. 2004 IFIP International Information Security Conference (SEC 2004) — Embedded Workshop Privacy and Anonymity in Networked and Distributed Systems (I-NetSec'04). Kluwer Academic Publishers, August 2004.
  34. [Van04b]
    Els Van Herreweghen.
    Unidentifiability and Accountability in Electronic Transactions. PhD thesis, Katholieke Universiteit Leuven, October 2004.