Publications by Michael Backes

The publications on this page are accompanied by links to downloadable versions of the respective publications. These documents do not necessarily correspond exactly to the cited versions. Instead, in most cases full or updated versions are provided. For access to the official version, follow the "Official" link (if available) to the publishers site.

BibTeX file available

Conference, Journal, and Refereed Workshop Papers

  1. Michael Backes, Goran Doychev, Markus Duermuth, and Boris Koepf.
    Speaker Recognition in Encrypted Voice-over-IP Traffic.
    in Proceedings of 15th European Symposium on Research in Computer Security (ESORICS), September 2010.
    [ BibTeX ]
  2. Michael Backes, Oana Ciobotaru, and Anton Krohmer.
    RatFish: A File Sharing Protocol Provably Secure Against Rational Users.
    in Proceedings of 15th European Symposium on Research in Computer Security (ESORICS), September 2010.
    [ BibTeX ]
  3. Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    Anonymity and Trust in Distributed Systems.
    in Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), July 2010.
    [ BibTeX ]
  4. Michael Backes, Markus Duermuth, Sebastian Gerling, Manfred Pinkal, and Caroline Sporleder.
    Acoustic Emanations of Printers.
    in Proceedings of 19th USENIX Security Symposium, July 2010.
    [ BibTeX ]
  5. Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    Anonymous Webs of Trust.
    in Proceedings of 10th Privacy Enhancing Technologies Symposium (PETS), July 2010.
    [ BibTeX ]
  6. Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, and Gerhard Weikum.
    Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays.
    in Proceedings of OTM Conferences, November 2009.
    [ BibTeX ]
  7. Michael Backes, Dennis Hofheinz, and Dominique Unruh.
    CoSP: A General Framework for Computational Soundness Proofs.
    in Proceedings of 2009 ACM Conference on Computer and Communication Security (CCS), November 2009.
    [ BibTeX ]
  8. Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei.
    Achieving Security Despite Compromise Using Zero-knowledge.
    in Proceedings of 22nd IEEE Computer Security Foundations Symposium (CSF), pp. 141-153, June 2009.
    [ BibTeX ]
  9. Michael Backes, Boris Koepf, and Andrey Rybalchenko.
    Automatic Discovery and Quantification of Information Leaks.
    in Proceedings of 30th IEEE Symposium on Security and Privacy, pp. 141-153, May 2009.
    [ BibTeX ]
  10. Michael Backes, Tongbo Chen, Markus Duermuth, Hendrik Lensch, and Martin Welk.
    Tempest in a Teapot: Compromising Reflections Revisited.
    in Proceedings of 30th IEEE Symposium on Security and Privacy, pp. 315-327, May 2009.
    [ BibTeX ]
  11. Michael Backes, Peter Druschel, Andreas Haeberlen, and Dominique Unruh.
    CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.
    in Proceedings of 16th Annual Network and Distributed System Security Symposium (NDSS), February 2009.
    [ BibTeX ]
  12. Michael Backes and Dominique Unruh.
    Limits of Constructive Securiity Proofs.
    in Proceedings of Advances in Cryptology - ASIACRYPT 2008 , December 2008.
    [ BibTeX ]
  13. Michael Backes, Markus Duermuth, and Dominique Unruh.
    OAEP is Secure Under Key-dependent Messages.
    in Proceedings of Advances in Cryptology - ASIACRYPT 2008 , December 2008.
    [ BibTeX ]
  14. Michael Backes, Matthias Berg, and Dominique Unruh.
    A Formal Language for Cryptographic Pseudocode.
    in Proceedings of 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) , November 2008.
    [ BibTeX ]
  15. Michael Backes, Catalin Hritcu, and Matteo Maffei.
    Type-checking zero-knowledge.
    in Proceedings of 2008 ACM Conference on Computer and Communication Security (CCS), November 2008.
    [ BibTeX ]
  16. Michael Backes and Boris Koepf.
    Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.
    in Proceedings of 13th European Symposium on Research in Computer Security (ESORICS), September 2008.
    [ BibTeX ]
  17. Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, and Gerhard Weikum.
    Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays.
    in Proceedings of 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), July 2008.
    [ BibTeX ]
  18. Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    CASPA: Causality-based Abstraction for Security Protocol Analysis.
    in Proceedings of 20th International Conference on Computer Aided Verification (CAV), July 2008.
    [ BibTeX ]
  19. Michael Backes, Catalin Hritcu, and Matteo Maffei.
    Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus.
    in Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF), June 2008.
    [ Abstract | PDF | BibTeX ]
  20. Michael Backes and Dominique Unruh.
    Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active .
    in Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF), June 2008.
    [ Abstract | BibTeX ]
  21. Michael Backes, Markus Duermuth, and Dominique Unruh.
    Compromising Reflections -- or -- How to Read LCD Monitors Around the Corner.
    in Proceedings of 29th IEEE Symposium on Security and Privacy, May 2008.
    [ BibTeX ]
  22. Michael Backes, Matteo Maffei, and Dominique Unruh.
    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
    in Proceedings of 29th IEEE Symposium on Security and Privacy, May 2008.
    [ BibTeX ]
  23. Michael Backes, Birgit Pfitzmann, and Andre Scedrov.
    Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.
    Journal of Computer Security (JCS), IOS Press, 2008.
    [ BibTeX ]
  24. Michael Backes, Markus Dürmuth, and Ralf Küsters.
    On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.
    in Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 2007.
    [ Abstract | BibTeX ]
  25. Michael Backes, Markus Dürmuth, Dennis Hofheinz, and Ralf Küsters.
    Conditional Reactive Simulatability.
    International Journal of Information Security (IJIS), Springer, 2007.
    [ Abstract | PS | BibTeX ]
  26. Michael Backes, Agostino Cortesi, Riccardo Focardi, and Matteo Maffei.
    A Calculus of Challenges and Responses.
    in Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering (FMSE), November 2007.
    [ Abstract | PDF | BibTeX ]
  27. Michael Backes, Birgit Pfitzmann, and Andre Scedrov.
    Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.
    in Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF), June 2007. Preprint on IACR ePrint 2005/421.
    [ Abstract | PS | BibTeX ]
  28. Michael Backes, Agostino Cortesi, and Matteo Maffei.
    Causality-based Abstraction of Multiplicity in Security Protocols.
    in Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF), June 2007.
    [ Abstract | PDF | BibTeX ]
  29. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    The Reactive Simulatability Framework for Asynchronous Systems.
    Information and Computation, 2007. Preprint on IACR ePrint 2004/082.
    [ Abstract | PDF | BibTeX ]
  30. Michael Backes, Markus Dürmuth, and Dominique Unruh.
    Information Flow in the Peer-Reviewing Process (extended abstract).
    in Proceedings of 28th IEEE Symposium on Security and Privacy, May 2007.
    [ Abstract | PDF | BibTeX ]
  31. Michael Backes, Jörn Müller-Quade, and Dominique Unruh.
    On the Necessity of Rewinding in Secure Multiparty Computation.
    in Theory of Cryptography, Proceedings of TCC 2007, Lecture Notes in Computer Science vol. 4392, Springer, pp. 157-174, March 2007. Preprint on IACR ePrint 2006/315.
    [ Abstract | PDF | BibTeX ]
  32. Michael Backes and Birgit Pfitzmann.
    Limits of the Cryptographic Realization of Dolev-Yao Style XOR.
    International Journal of Information Security (IJIS), Springer, 2006.
    [ Abstract | PS | BibTeX ]
  33. Michael Backes and Peeter Laud.
    Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.
    in Proceedings of 13th ACM Conference on Computer and Communications Security (CCS), pp. 370-379, November 2006.
    [ Abstract | PDF | BibTeX | Official ]
  34. Michael Backes, Christian Cachin, and Alina Oprea.
    Secure Key-Updating for Lazy Revocation.
    in Proceedings of 11th European Symposium on Research in Computer Security(ESORICS), Lecture Notes in Computer Science vol. 4189, Springer, pp. 327-346, September 2006. Preprint on IACR ePrint 2005/334.
    [ Abstract | PDF | BibTeX | Official ]
  35. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.
    in Proceedings of 11th European Symposium on Research in Computer Security(ESORICS), Lecture Notes in Computer Science vol. 4189, Springer, pp. 404-423, September 2006. Preprint on IACR ePrint 2006/068.
    [ Abstract | PDF | BibTeX | Official ]
  36. Michael Backes, Markus Duermuth, Dennis Hofheinz, and Ralf Kuesters.
    Conditional Reactive Simulatability.
    in Proceedings of 11th European Symposium on Research in Computer Security(ESORICS), Lecture Notes in Computer Science vol. 4189, Springer, pp. 424-443, September 2006. Preprint on IACR ePrint 2006/132.
    [ Abstract | PDF | BibTeX | Official ]
  37. Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay.
    Cryptographically Sound Security Proofs for Basic and Public-key Kerberos.
    in Proceedings of 11th European Symposium on Research in Computer Security(ESORICS), Lecture Notes in Computer Science vol. 4189, Springer, pp. 362-383, September 2006. Preprint on IACR ePrint 2006/219.
    [ Abstract | PDF | BibTeX | Official ]
  38. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, and Mathieu Turuani.
    Compositional Analysis of Contract Signing Protocols.
    Theoretical Computer Science, 367(1-2):33-56, 2006.
    [ Abstract | PDF | BibTeX | Official ]
  39. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Formal Methods and Cryptography.
    in Proceedings of 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science vol. 4085, Springer, pp. 612-616, August 2006.
    [ Abstract | PDF | BibTeX | Official ]
  40. Christoph Sprenger, Michael Backes, David Basin, Birgit Pfitzmann, and Michael Waidner.
    Cryptographically Sound Theorem Proving.
    in Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW), pp. 153-166, July 2006.
    [ Abstract | PDF | BibTeX | Official ]
  41. Michael Backes and Birgit Pfitzmann.
    On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol.
    in Proceedings of 21st IFIP International Information Security Conference (SEC), pp. 233-245, May 2006.
    [ Abstract | PDF | BibTeX | Official ]
  42. Michael Backes.
    Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof.
    Electronic Notes in Theoretical Computer Science (ENTCS), 155:111-145, 2006.
    [ Abstract | PDF | BibTeX | Official ]
  43. Michael Backes, Sebastian Moedersheim, Birgit Pfitzmann, and Luca Vigano.
    Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
    in Proceedings of Foundations of Software Science and Computational Structures (FOSSACS), Lecture Notes in Computer Science vol. 3921, Springer, pp. 428-445, March 2006.
    [ Abstract | PDF | BibTeX | Official ]
  44. Michael Backes, Christian Cachin, and Alina Oprea.
    Lazy Revocation in Cryptographic File Systems.
    in Proceedings of 3rd International IEEE Security in Storage Workshop (SISW), pp. 1-11, December 2005.
    [ Abstract | PDF | BibTeX | Official ]
  45. Michael Backes and Thomas Gross.
    Tailoring the Dolev-Yao Abstraction to Web Services Realities - A Comprehensive Wish List.
    in Proceedings of 2005 ACM Secure Web Services Workshop (SWS), pp. 65-74, November 2005.
    [ Abstract | PDF | BibTeX | Official ]
  46. Michael Backes, Dennis Hofheinz, Joern Mueller-Quade, and Dominique Unruh.
    On Fairness in Simulatability-based Cryptographic Systems.
    in Proceedings of 2005 ACM Workshop on Formal Methods in Security Engineering (FMSE), pp. 13-22, November 2005.
    [ Abstract | PDF | BibTeX | Official ]
  47. Michael Backes, Jan Camenisch, and Dieter Sommer.
    Cryptographically Secure Anonymous Access Control with Accountability.
    in Proceedings of 4th ACM Workshop on Privacy in the Electronic Society (WPES), pp. 40-46, November 2005.
    [ Abstract | PDF | BibTeX | Official ]
  48. Michael Backes.
    Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.
    Journal of Logic and Algebraic Programming (JLAP), 2:157-188, 2005.
    [ Abstract | PDF | BibTeX | Official ]
  49. Michael Backes and Birgit Pfitzmann.
    Limits of the Cryptographic Realization of Dolev-Yao-style XOR.
    in Proceedings of 10th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 3679, Springer, pp. 178-196, September 2005.
    [ Abstract | PDF | BibTeX | Official ]
  50. Michael Backes.
    Quantifying Probabilistic Information Flow in Computational Reactive Systems.
    in Proceedings of 10th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 3679, Springer, pp. 336-354, September 2005.
    [ Abstract | PDF | BibTeX | Official ]
  51. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, and Mathieu Turuani.
    Compositional Analysis of Contract Signing Protocols.
    in Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW), pp. 94-111, June 2005.
    [ Abstract | PDF | BibTeX | Official ]
  52. Michael Backes and Markus Duermuth.
    A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.
    in Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW), pp. 78-93, June 2005.
    [ Abstract | PDF | BibTeX | Official ]
  53. Michael Backes and Birgit Pfitzmann.
    Relating Cryptographic und Symbolic Key Secrecy.
    IEEE Transactions on Dependable and Secure Computing (TDSC), 2(2):109-123, 2005.
    [ Abstract | PDF | BibTeX | Official ]
  54. Michael Backes and Birgit Pfitzmann.
    Relating Cryptographic und Symbolic Secrecy.
    in Proceedings of 26th IEEE Symposium on Security and Privacy, pp. 171-182, May 2005. Preprint on IACR ePrint 2004/300.
    [ Abstract | PDF | BibTeX | Official ]
  55. Michael Backes and Christian Cachin.
    Public-Key Steganography with Active Attacks.
    in Proceedings of 2nd Theory of Cryptography Conference (TCC), Lecture Notes in Computer Science vol. 3378, Springer, pp. 210-226, February 2005. Preprint on IACR ePrint 2003/231.
    [ Abstract | PDF | BibTeX | Official ]
  56. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Symmetric Authentication Within a Simulatable Cryptographic Library.
    International Journal of Information Security (IJIS), 4(3):135-154, 2005.
    [ Abstract | PDF | BibTeX | Official ]
  57. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Reactively Secure Signature Schemes.
    International Journal of Information Security (IJIS), 4(4):242-252, 2005.
    [ Abstract | PDF | BibTeX | Official ]
  58. Michael Backes and Birgit Pfitzmann.
    A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
    IEEE Journal on Selected Areas of Computing (JSAC), 22(10):2075-2086, 2004.
    [ Abstract | PDF | BibTeX | Official ]
  59. Michael Backes.
    A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.
    in Proceedings of 9th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 3193, Springer, pp. 89-108, September 2004.
    [ Abstract | PDF | BibTeX | Official ]
  60. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Low-level Ideal Signatures and General Integrity Idealization.
    in Proceedings of 7th Information Security Conference (ISC), Lecture Notes in Computer Science vol. 3225, Springer, pp. 39-51, September 2004.
    [ Abstract | PDF | BibTeX | Official ]
  61. Michael Backes and Dennis Hofheinz.
    How to Break and Repair a Universally Composable Signature Functionality.
    in Proceedings of 7th Information Security Conference (ISC), Lecture Notes in Computer Science vol. 3225, Springer, pp. 61-72, September 2004. Preprint on IACR ePrint 2003/240.
    [ Abstract | PDF | BibTeX | Official ]
  62. Michael Backes, Markus Duermuth, and Rainer Steinwandt.
    An Algebra for Composing Enterprise Privacy Policies.
    in Proceedings of 9th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 3193, Springer, pp. 33-52, September 2004.
    [ Abstract | PDF | BibTeX | Official ]
  63. Michael Backes and Birgit Pfitzmann.
    Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.
    in Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW), pp. 204-218, June 2004. Preprint on IACR ePrint 2004/059.
    [ Abstract | PS | BibTeX | Official ]
  64. Michael Backes, Markus Duermuth, and Guenter Karjoth.
    Unification in Privacy Policy Evaluation - Translating EPAL to Prolog.
    in Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 185-188, June 2004.
    [ Abstract | PDF | BibTeX | Official ]
  65. Michael Backes, Walid Bagga, Guenter Karjoth, and Matthias Schunter.
    Efficient Comparison of Enterprise Privacy Policies.
    in Proceedings of 19th ACM Symposium on Applied Computing (SAC), pp. 375-382, March 2004.
    [ Abstract | PDF | BibTeX | Official ]
  66. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    A General Composition Theorem for Secure Reactive System.
    in Proceedings of 1st Theory of Cryptography Conference (TCC), Lecture Notes in Computer Science vol. 2951, Springer, pp. 336-354, February 2004.
    [ Abstract | PDF | BibTeX | Official ]
  67. Michael Backes and Birgit Pfitzmann.
    Computational Probabilistic Non-Interference.
    International Journal of Information Security (IJIS), 3(1):42-60, 2004.
    [ Abstract | PDF | BibTeX | Official ]
  68. Michael Backes, Birgit Pfitzmann, Michael Steiner, and Michael Waidner.
    Polynomial Liveness.
    Journal of Computer Security, 12(3-4):589-617, 2004.
    [ Abstract | PDF | BibTeX ]
  69. Michael Backes and Birgit Pfitzmann.
    A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
    in Proceedings of 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Lecture Notes in Computer Science vol. 2914, Springer, pp. 1-12, December 2003. Preprint on IACR ePrint 2003/121.
    [ Abstract | PS | BibTeX | Official ]
  70. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    A Composable Cryptographic Library with Nested Operations (Extended Abstract).
    in Proceedings of 10th ACM Conference on Computer and Communications Security (CCS), pp. 220-230, October 2003. Preprint on IACR ePrint 2003/015.
    [ Abstract | PDF | BibTeX | Official ]
  71. Michael Backes, Birgit Pfitzmann, and Matthias Schunter.
    A Toolkit for Managing Enterprise Privacy Policies.
    in Proceedings of 8th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 2808, Springer, pp. 162-180, October 2003.
    [ Abstract | PDF | BibTeX | Official ]
  72. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Symmetric Authentication Within a Simulatable Cryptographic Library.
    in Proceedings of 8th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 2808, Springer, pp. 271-290, October 2003. Preprint on IACR ePrint 2003/145.
    [ Abstract | PS | BibTeX | Official ]
  73. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Reactively Secure Signature Schemes.
    in Proceedings of 6th Information Security Conference (ISC), Lecture Notes in Computer Science vol. 2851, Springer, pp. 84-95, October 2003.
    [ Abstract | PDF | BibTeX | Official ]
  74. Michael Backes.
    Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract).
    in Proceedings of 14th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science vol. 2761, Springer, pp. 350-365, September 2003. Preprint on IACR ePrint 2003/114.
    [ Abstract | PS | BibTeX | Official ]
  75. Michael Backes and Matthias Schunter.
    From Absence of Certain Vulnerabilities towards Security Proofs - Pushing the Limits of Formal Verification.
    in Proceedings of the 10th ACM Workshop on New Security Paradigms (NSPW), pp. 67-74, August 2003.
    [ Abstract | PDF | BibTeX | Official ]
  76. Michael Backes, Christian Cachin, and Reto Strobl.
    Proactive Secure Message Transmission in Asynchronous Networks.
    in Proceedings of 22nd ACM Symposium on Principles of Distributed Computing (PODC), pp. 223-232, July 2003.
    [ Abstract | PDF | BibTeX | Official ]
  77. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Security in Business Process Engineering.
    in Proceedings of 2003 International Conference on Business Process Management, Lecture Notes in Computer Science vol. 2678, Springer, pp. 168-183, September 2003.
    [ Abstract | PDF | BibTeX | Official ]
  78. Michael Backes and Christian Cachin.
    Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries.
    in Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN), pp. 37-46, June 2003.
    [ Abstract | PDF | BibTeX | Official ]
  79. Michael Backes and Birgit Pfitzmann.
    Intransitive Non-Interference for Cryptographic Purposes.
    in Proceedings of 24th IEEE Symposium on Security and Privacy, pp. 140-152, May 2003.
    [ Abstract | PDF | BibTeX | Official ]
  80. Michael Backes and Christian Jacobi.
    Cryptographically Sound and Machine-Assisted Verification of Security Protocols.
    in Proceedings of 20th International Symposium on Theoretical Aspects of Computer Science (STACS), Lecture Notes in Computer Science vol. 2607, Springer, pp. 675-686, February 2003.
    [ Abstract | PDF | BibTeX ]
  81. Michael Backes and Birgit Pfitzmann.
    Computational Probabilistic Non-Interference.
    in Proceedings of 7th European Symposium on Research in Computer Security (ESORICS), Lecture Notes in Computer Science vol. 2502, Springer, pp. 1-23, October 2002.
    [ Abstract | PDF | BibTeX ]
  82. Michael Backes, Christian Jacobi, and Birgit Pfitzmann.
    Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.
    in Proceedings of 11th International Symposium on Formal Methods Europe (FME), Lecture Notes in Computer Science vol. 2391, Springer, pp. 310-329, October 2002.
    [ Abstract | PDF | BibTeX ]
  83. Michael Backes, Birgit Pfitzmann, Michael Steiner, and Michael Waidner.
    Polynomial Fairness and Liveness.
    in Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW), pp. 160-174, June 2002.
    [ Abstract | PDF | BibTeX | Official ]

Contributions to Books

  1. Michael Backes and Markus Duermuth.
    Enterprise Privacy Policies and Languages.
    in Digital Privacy: Theory, Technologies and Practices, Elsevier, 2007.
    [ BibTeX ]
  2. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Justifying a Dolev-Yao Model under Active Attacks.
    in Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures, Lecture Notes in Computer Science vol. 3655, Springer, pp. 1-42, August 2004.
    [ BibTeX | Official ]

Edited

  1. Michael Backes, Stefanos Gritzalis, Bart Preneel, Sokratis K. Katsikas, and Javier Lopez.
    Proceedings of 9th International Conference on Information Security (ISC), Samos Island, Greece.
    Lecture Notes in Computer Science vol. 4176, Springer, August 2006.
    [ BibTeX ]
  2. Michael Backes and Andre Scedrov.
    Proceedings of 3rd International Workshop on Security and Concurrency (SecCo), affiliated with CONCUR'05, San Francisco, CA.
    ENTCS, September 2005.
    [ BibTeX ]
  3. Michael Backes, David Basin, and Michael Waidner.
    Proceedings of 2nd ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'04, Washington D.C..
    ACM, October 2004.
    [ BibTeX ]
  4. Michael Backes, David Basin, and Michael Waidner.
    Proceedings of 1st ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'03, Washington D.C..
    ACM, October 2003.
    [ BibTeX ]

Other Work

  1. Michael Backes, Agostino Cortesi, and Matteo Maffei.
    Causality-based Abstraction of Multiplicity in Security Protocol Analysis.
    7th International Workshop on Issues in the Theory of Security (WITS), April 2007.
    [ PDF | BibTeX ]
  2. Michael Backes, Agostino Cortesi, Riccardo Focardi, and Matteo Maffei.
    A Calculus of Challenges and Reponses.
    7th International Workshop on Issues in the Theory of Security (WITS), April 2007.
    [ PS | BibTeX ]
  3. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, and Andre Scedrov.
    Games and the Impossibility of Realizable Ideal Functionality.
    Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06, June 2006.
    [ Abstract | BibTeX ]
  4. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Soundness Limits of Dolev-Yao Models.
    Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06, June 2006.
    [ Abstract | PDF | BibTeX ]
  5. Michael Backes and Peeter Laud.
    Computationally Sound Secrecy Proofs by Mechnized Flow Analysis.
    Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06, June 2006.
    [ Abstract | PDF | BibTeX ]
  6. Michael Backes, Birgit Pfitzmann, and Michael Waidner.
    Limits of the Cryptographic Realization of Dolev-Yao-style XOR and Dolev-Yao-Style Hash Functions.
    Abstract presented at 26th IEEE Symposium on Security and Privacy, May 2005.
    [ BibTeX ]
  7. Michael Backes.
    Justifying Dolev-Yao under Active Attacks.
    Abstract presented at 26th IEEE Symposium on Security and Privacy, May 2005.
    [ BibTeX ]
  8. Michael Backes and Birgit Pfitzmann.
    A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol (Extended Abstract).
    Workshop on Security Protocols Verification (SPV'2003), affiliated with CONCUR'03, September 2003.
    [ BibTeX ]

PhD and Master Theses

  1. Michael Backes.
    Cryptographically Sound Analysis of Security Protocols.
    Ph.D. thesis, Saarland University, Computer Science Department, 2002.
    [ Abstract | PDF | BibTeX ]
  2. Michael Backes.
    Factorization of Univariate Polynomials.
    Saarland University, Mathematics Department, 2002.
    [ PDF | BibTeX ]
  3. Michael Backes.
    New Number-Theoretic Assumptions in Cryptography (in german).
    Saarland University, Computer Science Department, 2002.
    [ PDF | BibTeX ]