Michael Backes

Anita Monika Thieler, Michael Backes, Roland Fried, Wolfgang Rhode: Periodicity detection in irregularly sampled light curves by robust regression and outlier detection. Statistical Analysis and Data Mining 6(1): 73-89 (2013)

Michael Backes, Amit Datta, Aniket Kate: Asynchronous Computational VSS with Reduced Communication Complexity. CT-RSA 2013: 259-276

Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes, Christian Hammer: Idea: Callee-Site Rewriting of Sealed System Libraries. ESSoS 2013: 33-41

Michael Backes, Fabian Bendun, Dominique Unruh: Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. POST 2013: 206-225

Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky: AppGuard - Enforcing User Requirements on Android Apps. TACAS 2013: 543-548

Andrew Myers, Michael Backes: Preface. Journal of Computer Security 20(6): 635-636 (2012)

Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft: Adding query privacy to robust DHTs. ASIACCS 2012: 30-31

Michael Backes, Ankit Malik, Dominique Unruh: Computational soundness without protocol restrictions. ACM Conference on Computer and Communications Security 2012: 699-711

Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin: Verified Security of Merkle-Damgård. CSF 2012: 354-368

Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi: Provably Secure and Practical Onion Routing. CSF 2012: 369-385

Markus Mainberger, Christian Schmaltz, Matthias Berg, Joachim Weickert, Michael Backes: Diffusion-Based Image Compression in Steganography. ISVC (2) 2012: 219-228

Michael Backes, Alex Busenius, Catalin Hritcu: On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. NASA Formal Methods 2012: 371-387

Michael Backes, Fabian Bendun, Aniket Kate: Brief announcement: distributed cryptography using trinc. PODC 2012: 91-92

Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina: ObliviAd: Provably Secure and Practical Online Behavioral Advertising. IEEE Symposium on Security and Privacy 2012: 257-271

Michael Backes, Aniket Kate, Esfandiar Mohammadi: Ace: an efficient key-exchange protocol for onion routing. WPES 2012: 55-64

Raphael M. Reischuk, Michael Backes, Johannes Gehrke: SAFE extensibility of data-driven web applications. WWW 2012: 799-808

Michael Backes, Fabian Bendun, Dominique Unruh: Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. IACR Cryptology ePrint Archive 2012: 81 (2012)

Michael Backes, Sebastian Meiser: Differentially Private Smart Metering with Battery Recharging. IACR Cryptology ePrint Archive 2012: 183 (2012)

Michael Backes, Ankit Malik, Dominique Unruh: Computational Soundness without Protocol Restrictions. IACR Cryptology ePrint Archive 2012: 486 (2012)

Michael Backes, Amit Datta, Aniket Kate: Asynchronous Computational VSS with Reduced Communication Complexity. IACR Cryptology ePrint Archive 2012: 619 (2012)

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10(2): 107-134 (2011)

Michael Backes, Aniket Kate, Arpita Patra: Computational Verifiable Secret Sharing Revisited. ASIACRYPT 2011: 590-609

Michael Backes, Matthias Berg, Boris Köpf: Non-uniform distributions in quantitative information-flow. ASIACCS 2011: 367-375

Michael Backes, Catalin Hritcu, Thorsten Tarrach: Automatically Verifying Typing Constraints for a Data Processing Language. CPP 2011: 296-313

Michael Backes, Matteo Maffei, Kim Pecina: A Security API for Distributed Social Networks. NDSS 2011

Michael Backes, Matteo Maffei, Kim Pecina: Securing social networks. PODC 2011: 341-342

Michael Backes, Catalin Hritcu, Matteo Maffei: Union and Intersection Types for Secure Protocol Implementations. TOSCA 2011: 1-28

Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk: G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA 2011: 57-77

Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky: A Novel Attack against Android Phones. CoRR abs/1106.4184 (2011)

Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft: Adding Query Privacy to Robust DHTs. CoRR abs/1107.1072 (2011)

Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz: X-pire! - A digital expiration date for images in social networks. CoRR abs/1112.2649 (2011)

Michael Backes, Aniket Kate, Arpita Patra: Computational Verifiable Secret Sharing Revisited. IACR Cryptology ePrint Archive 2011: 281 (2011)

Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi: Provably Secure and Practical Onion Routing. IACR Cryptology ePrint Archive 2011: 308 (2011)

Michael Backes, Dominique Unruh: Computational soundness of symbolic zero-knowledge proofs. Journal of Computer Security 18(6): 1077-1155 (2010)

Michael Backes, Matteo Maffei, Dominique Unruh: Computationally sound verification of source code. ACM Conference on Computer and Communications Security 2010: 387-398

Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf: Speaker Recognition in Encrypted Voice Streams. ESORICS 2010: 508-523

Michael Backes, Oana Ciobotaru, Anton Krohmer: RatFish: A File Sharing Protocol Provably Secure against Rational Users. ESORICS 2010: 607-625

Michael Backes, Matteo Maffei, Esfandiar Mohammadi: Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. FSTTCS 2010: 352-363

Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Anonymous Webs of Trust. Privacy Enhancing Technologies 2010: 130-148

Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: Brief announcement: anonymity and trust in distributed systems. PODC 2010: 237-238

Michael Backes, Markus Dürmuth, Sebastian Gerling, Manfred Pinkal, Caroline Sporleder: Acoustic Side-Channel Attacks on Printers. USENIX Security Symposium 2010: 307-322

Michael Backes, Matteo Maffei, Dominique Unruh: Computationally Sound Verification of Source Code. IACR Cryptology ePrint Archive 2010: 416 (2010)

Michael Backes, Dennis Hofheinz, Dominique Unruh: CoSP: a general framework for computational soundness proofs. ACM Conference on Computer and Communications Security 2009: 66-78

Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei: Achieving Security Despite Compromise Using Zero-knowledge. CSF 2009: 308-323

Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh: CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. NDSS 2009

Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum: Anonymity and Censorship Resistance in Unstructured Overlay Networks. OTM Conferences (1) 2009: 147-164

Michael Backes, Boris Köpf, Andrey Rybalchenko: Automatic Discovery and Quantification of Information Leaks. IEEE Symposium on Security and Privacy 2009: 141-153

Michael Backes, Tongbo Chen, Markus Dürmuth, Hendrik P. A. Lensch, Martin Welk: Tempest in a Teapot: Compromising Reflections Revisited. IEEE Symposium on Security and Privacy 2009: 315-327

Michael Backes, Matteo Maffei: Design and Verification of Anonymous Trust Protocols. Security Protocols Workshop 2009: 143-148

Michael Backes: Design and Verification of Anonymous Trust Protocols. Security Protocols Workshop 2009: 149-156

Michael Backes, Peng Ning (Eds.): Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings. Lecture Notes in Computer Science 5789, Springer 2009, isbn 978-3-642-04443-4

Michael Backes, Dennis Hofheinz, Dominique Unruh: CoSP: A General Framework For Computational Soundness Proofs. IACR Cryptology ePrint Archive 2009: 80 (2009)

Michael Backes, Birgit Pfitzmann: Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. Int. J. Inf. Sec. 7(1): 33-54 (2008)

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters: Conditional reactive simulatability. Int. J. Inf. Sec. 7(2): 155-169 (2008)

Michael Backes, Birgit Pfitzmann, Andre Scedrov: Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. Journal of Computer Security 16(5): 497-530 (2008)

Michael Backes, Dominique Unruh: Limits of Constructive Security Proofs. ASIACRYPT 2008: 290-307

Michael Backes, Markus Dürmuth, Dominique Unruh: OAEP Is Secure under Key-Dependent Messages. ASIACRYPT 2008: 506-523

Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV 2008: 419-422

Michael Backes, Catalin Hritcu, Matteo Maffei: Type-checking zero-knowledge. ACM Conference on Computer and Communications Security 2008: 357-370

Michael Backes, Catalin Hritcu, Matteo Maffei: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF 2008: 195-209

Michael Backes, Dominique Unruh: Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. CSF 2008: 255-269

Michael Backes, Boris Köpf: Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. ESORICS 2008: 517-532

Michael Backes, Matthias Berg, Dominique Unruh: A Formal Language for Cryptographic Pseudocode. LPAR 2008: 353-376

Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum: Anonymous and censorship resistant content sharing in unstructured overlays. PODC 2008: 429

Michael Backes, Markus Dürmuth, Dominique Unruh: Compromising Reflections-or-How to Read LCD Monitors around the Corner. IEEE Symposium on Security and Privacy 2008: 158-169

Michael Backes, Matteo Maffei, Dominique Unruh: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. IEEE Symposium on Security and Privacy 2008: 202-215

Michael Backes, Dominique Unruh: Computational soundness of symbolic zero-knowledge proofs. IACR Cryptology ePrint Archive 2008: 152 (2008)

Michael Backes, Boris Köpf: Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. IACR Cryptology ePrint Archive 2008: 162 (2008)

Michael Backes, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 180(1): 1-2 (2007)

Michael Backes, Birgit Pfitzmann, Michael Waidner: The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. 205(12): 1685-1720 (2007)

Michael Backes, Stefanos Gritzalis, Bart Preneel: Preface. Int. J. Inf. Sec. 6(6): 359-360 (2007)

Michael Backes, David A. Basin, Michael Waidner: Preface. Journal of Computer Security 15(6): 561 (2007)

Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60

Michael Backes, Birgit Pfitzmann, Andre Scedrov: Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. CSF 2007: 112-124

Michael Backes, Agostino Cortesi, Matteo Maffei: Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369

Michael Backes, Matteo Maffei, Dominique Unruh: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Formal Protocol Verification Applied 2007

Michael Backes, Markus Dürmuth, Ralf Küsters: On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. FSTTCS 2007: 108-120

Michael Backes, Markus Dürmuth, Dominique Unruh: Information Flow in the Peer-Reviewing Process. IEEE Symposium on Security and Privacy 2007: 187-191

Michael Backes, Jörn Müller-Quade, Dominique Unruh: On the Necessity of Rewinding in Secure Multiparty Computation. TCC 2007: 157-173

Michael Backes, Dominique Unruh: On the Security of Protocols with Logarithmic Communication Complexity. IACR Cryptology ePrint Archive 2007: 169 (2007)

Michael Backes, Markus Dürmuth, Ralf Küsters: On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. IACR Cryptology ePrint Archive 2007: 233 (2007)

Michael Backes, Matteo Maffei, Dominique Unruh: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. IACR Cryptology ePrint Archive 2007: 289 (2007)

Michael Backes: Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. Electr. Notes Theor. Comput. Sci. 155: 111-145 (2006)

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006)

Michael Backes, Peeter Laud: Computationally sound secrecy proofs by mechanized flow analysis. ACM Conference on Computer and Communications Security 2006: 370-379

Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. CSFW 2006: 153-166

Michael Backes, Christian Cachin, Alina Oprea: Secure Key-Updating for Lazy Revocation. ESORICS 2006: 327-346

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS 2006: 362-383

Michael Backes, Birgit Pfitzmann, Michael Waidner: Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. ESORICS 2006: 404-423

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters: Conditional Reactive Simulatability. ESORICS 2006: 424-443

Michael Backes, Birgit Pfitzmann, Michael Waidner: Formal Methods and Cryptography. FM 2006: 612-616

Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS 2006: 428-445

Michael Backes, Birgit Pfitzmann: On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. SEC 2006: 233-245

Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel (Eds.): Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings. Lecture Notes in Computer Science 4176, Springer 2006, isbn 3-540-38341-7

Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner: Cryptographically Sound Theorem Proving. IACR Cryptology ePrint Archive 2006: 47 (2006)

Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptology ePrint Archive 2006: 58 (2006)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. IACR Cryptology ePrint Archive 2006: 68 (2006)

Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters: Conditional Reactive Simulatability. IACR Cryptology ePrint Archive 2006: 132 (2006)

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptology ePrint Archive 2006: 219 (2006)

Michael Backes, Peeter Laud: Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. IACR Cryptology ePrint Archive 2006: 266 (2006)

Michael Backes, Jörn Müller-Quade, Dominique Unruh: On the Necessity of Rewinding in Secure Multiparty Computation. IACR Cryptology ePrint Archive 2006: 315 (2006)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. Int. J. Inf. Sec. 4(3): 135-154 (2005)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Reactively secure signature schemes. Int. J. Inf. Sec. 4(4): 242-252 (2005)

Michael Backes: Unifying simulatability definitions in cryptographic systems under different timing assumptions. J. Log. Algebr. Program. 64(2): 157-188 (2005)

Michael Backes, Birgit Pfitzmann: Relating Symbolic and Cryptographic Secrecy. IEEE Trans. Dependable Sec. Comput. 2(2): 109-123 (2005)

Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh: On fairness in simulatability-based cryptographic systems. FMSE 2005: 13-22

Michael Backes, Markus Dürmuth: A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System. CSFW 2005: 78-93

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110

Michael Backes, Birgit Pfitzmann: Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. ESORICS 2005: 178-196

Michael Backes: Quantifying Probabilistic Information Flow in Computational Reactive Systems. ESORICS 2005: 336-354

Michael Backes, Christian Cachin, Alina Oprea: Lazy Revocation in Cryptographic File Systems. IEEE Security in Storage Workshop 2005: 1-11

Michael Backes, Birgit Pfitzmann: Relating Symbolic and Cryptographic Secrecy. IEEE Symposium on Security and Privacy 2005: 171-182

Michael Backes, Thomas Groß: Tailoring the Dolev-Yao abstraction to web services realities. SWS 2005: 65-74

Michael Backes, Christian Cachin: Public-Key Steganography with Active Attacks. TCC 2005: 210-226

Michael Backes, Jan Camenisch, Dieter Sommer: Anonymous yet accountable access control. WPES 2005: 40-46

Michael Backes, Birgit Pfitzmann: Limits of the Cryptographic Realization of Dolev-Yao-style XOR. IACR Cryptology ePrint Archive 2005: 220 (2005)

Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh: On Fairness in Simulatability-based Cryptographic Systems. IACR Cryptology ePrint Archive 2005: 294 (2005)

Michael Backes, Christian Cachin, Alina Oprea: Secure Key-Updating for Lazy Revocation. IACR Cryptology ePrint Archive 2005: 334 (2005)

Michael Backes, Birgit Pfitzmann, Andre Scedrov: Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. IACR Cryptology ePrint Archive 2005: 421 (2005)

Michael Backes: Cryptographically sound analysis of security protocols. Saarland University 2004

Michael Backes, Birgit Pfitzmann: Computational probabilistic noninterference. Int. J. Inf. Sec. 3(1): 42-60 (2004)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Polynomial liveness. Journal of Computer Security 12(3-4): 589-617 (2004)

Michael Backes, 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 (2004)

Michael Backes, Birgit Pfitzmann: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. CSFW 2004: 204-218

Michael Backes, Markus Dürmuth, Rainer Steinwandt: An Algebra for Composing Enterprise Privacy Policies. ESORICS 2004: 33-52

Michael Backes: A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol. ESORICS 2004: 89-108

Michael Backes, Birgit Pfitzmann, Michael Waidner: Justifying a Dolev-Yao Model Under Active Attacks. FOSAD 2004: 1-41

Michael Backes, Birgit Pfitzmann, Michael Waidner: Low-Level Ideal Signatures and General Integrity Idealization. ISC 2004: 39-51

Michael Backes, Dennis Hofheinz: How to Break and Repair a Universally Composable Signature Functionality. ISC 2004: 61-72

Michael Backes, Markus Dürmuth, Günter Karjoth: Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. POLICY 2004: 185-188

Michael Backes, Günter Karjoth, Walid Bagga, Matthias Schunter: Efficient comparison of enterprise privacy policies. SAC 2004: 375-382

Michael Backes, Birgit Pfitzmann, Michael Waidner: A General Composition Theorem for Secure Reactive Systems. TCC 2004: 336-354

Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner (Eds.): Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004. ACM 2004, isbn 1-58113-971-3

Michael Backes, Birgit Pfitzmann: Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. IACR Cryptology ePrint Archive 2004: 59 (2004)

Michael Backes, Birgit Pfitzmann, Michael Waidner: The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. IACR Cryptology ePrint Archive 2004: 82 (2004)

Michael Backes, Birgit Pfitzmann: Relating Symbolic and Cryptographic Secrecy. IACR Cryptology ePrint Archive 2004: 300 (2004)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Security in Business Process Engineering. Business Process Management 2003: 168-183

Michael Backes, Catherine Meadows, John C. Mitchell: Relating cryptography and formal methods: a panel. FMSE 2003: 61-66

Michael Backes, Birgit Pfitzmann, Michael Waidner: A composable cryptographic library with nested operations. ACM Conference on Computer and Communications Security 2003: 220-230

Michael Backes: Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. CONCUR 2003: 346-360

Michael Backes, Christian Cachin: Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. DSN 2003: 37-46

Michael Backes, Birgit Pfitzmann, Matthias Schunter: A Toolkit for Managing Enterprise Privacy Policies. ESORICS 2003: 162-180

Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric Authentication within a Simulatable Cryptographic Library. ESORICS 2003: 271-290

Michael Backes, Birgit Pfitzmann: A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. FSTTCS 2003: 1-12

Michael Backes, Birgit Pfitzmann, Michael Waidner: Reactively Secure Signature Schemes. ISC 2003: 84-95

Michael Backes, Matthias Schunter: From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification. NSPW 2003: 67-74

Michael Backes, Christian Cachin, Reto Strobl: Proactive secure message transmission in asynchronous networks. PODC 2003: 223-232

Michael Backes, Birgit Pfitzmann: Intransitive Non-Interference for Cryptographic Purpose. IEEE Symposium on Security and Privacy 2003: 140-

Michael Backes, Christian Jacobi: Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS 2003: 675-686

Michael Backes, David A. Basin (Eds.): Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. ACM 2003, isbn 1-58113-781-8

Michael Backes, Birgit Pfitzmann, Michael Waidner: A Universally Composable Cryptographic Library. IACR Cryptology ePrint Archive 2003: 15 (2003)

Michael Backes: Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. IACR Cryptology ePrint Archive 2003: 114 (2003)

Michael Backes, Birgit Pfitzmann: A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. IACR Cryptology ePrint Archive 2003: 121 (2003)

Michael Backes, Birgit Pfitzmann, Michael Waidner: Symmetric Authentication Within a Simulatable Cryptographic Library. IACR Cryptology ePrint Archive 2003: 145 (2003)

Michael Backes, Christian Cachin: Public-Key Steganography with Active Attacks. IACR Cryptology ePrint Archive 2003: 231 (2003)

Michael Backes, Dennis Hofheinz: How to Break and Repair a Universally Composable Signature Functionality. IACR Cryptology ePrint Archive 2003: 240 (2003)

Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner: Polynomial Fairness and Liveness. CSFW 2002: 160-174

Michael Backes, Birgit Pfitzmann: Computational Probabilistic Non-interference. ESORICS 2002: 1-23

Michael Backes, Christian Jacobi, Birgit Pfitzmann: Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME 2002: 310-329