@inproceedings{backes10speaker,
  author       = {Backes, Michael and Doychev, Goran and Duermuth, Markus and Koepf, Boris},
  title        = {Speaker Recognition
in Encrypted Voice-over-IP Traffic},
  booktitle    = {Proceedings of 15th European Symposium on Research in Computer Security (ESORICS)},
  month        = {September},
  year         = {2010}
}

@inproceedings{backes10ratfish,
  author       = {Backes, Michael and Ciobotaru, Oana and Krohmer, Anton},
  title        = {RatFish: A File Sharing Protocol
Provably Secure Against Rational Users},
  booktitle    = {Proceedings of 15th European Symposium on Research in Computer Security (ESORICS)},
  month        = {September},
  year         = {2010}
}

@inproceedings{backes10anonymity,
  author       = {Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim},
  title        = {Anonymity and Trust in Distributed Systems},
  booktitle    = {Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)},
  month        = {July},
  year         = {2010}
}

@inproceedings{backes10acoustic,
  author       = {Backes, Michael and Duermuth, Markus and Gerling, Sebastian and Pinkal, Manfred and Sporleder, Caroline},
  title        = {Acoustic Emanations of Printers},
  booktitle    = {Proceedings of 19th USENIX Security Symposium},
  month        = {July},
  year         = {2010}
}

@inproceedings{backes10anonymous,
  author       = {Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim},
  title        = {Anonymous Webs of Trust},
  booktitle    = {Proceedings of 10th Privacy Enhancing Technologies Symposium (PETS)},
  month        = {July},
  year         = {2010}
}

@inproceedings{backes09anonymous,
  author       = {Backes, Michael and Hamerlik, Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard},
  title        = {Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays},
  booktitle    = {Proceedings of OTM Conferences},
  month        = {November},
  year         = {2009}
}

@inproceedings{backes09cosp,
  author       = {Backes, Michael and Hofheinz, Dennis and Unruh, Dominique},
  title        = {CoSP: A General Framework for Computational Soundness Proofs},
  booktitle    = {Proceedings of 2009 ACM Conference on Computer and Communication Security (CCS)},
  month        = {November},
  year         = {2009}
}

@inproceedings{backes09achieving,
  author       = {Backes, Michael and Grochulla, Martin and Hritcu, Catalin and Maffei, Matteo},
  title        = {Achieving Security Despite Compromise Using Zero-knowledge},
  booktitle    = {Proceedings of 22nd IEEE Computer Security Foundations Symposium (CSF)},
  month        = {June},
  year         = {2009},
  pages        = {141-153}
}

@inproceedings{backes09automatic,
  author       = {Backes, Michael and Koepf, Boris and Rybalchenko, Andrey},
  title        = {Automatic Discovery and Quantification of Information Leaks},
  booktitle    = {Proceedings of 30th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2009},
  pages        = {141-153}
}

@inproceedings{backes09tempest,
  author       = {Backes, Michael and Chen, Tongbo and Duermuth, Markus and Lensch, Hendrik and Welk, Martin},
  title        = {Tempest in a Teapot: Compromising Reflections Revisited},
  booktitle    = {Proceedings of 30th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2009},
  pages        = {315-327}
}

@inproceedings{backes09csar,
  author       = {Backes, Michael and Druschel, Peter and Haeberlen, Andreas and Unruh, Dominique},
  title        = {CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable},
  booktitle    = {Proceedings of 16th Annual Network and Distributed System Security Symposium (NDSS)},
  month        = {February},
  year         = {2009}
}

@inproceedings{backes08limits,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Limits of Constructive Securiity Proofs},
  booktitle    = {Proceedings of Advances in Cryptology - ASIACRYPT 2008 },
  month        = {December},
  year         = {2008}
}

@inproceedings{backes08oaep,
  author       = {Backes, Michael and Duermuth, Markus and Unruh, Dominique},
  title        = {OAEP is Secure Under Key-dependent Messages},
  booktitle    = {Proceedings of Advances in Cryptology - ASIACRYPT 2008 },
  month        = {December},
  year         = {2008}
}

@inproceedings{backes08formal,
  author       = {Backes, Michael and Berg, Matthias and Unruh, Dominique},
  title        = {A Formal Language for Cryptographic Pseudocode},
  booktitle    = {Proceedings of 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) },
  month        = {November},
  year         = {2008}
}

@inproceedings{backes08type,
  author       = {Backes, Michael and Hritcu, Catalin and Maffei, Matteo},
  title        = {Type-checking zero-knowledge},
  booktitle    = {Proceedings of 2008 ACM Conference on Computer and Communication Security (CCS)},
  month        = {November},
  year         = {2008}
}

@inproceedings{backes08formally,
  author       = {Backes, Michael and Koepf, Boris},
  title        = {Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks},
  booktitle    = {Proceedings of 13th European Symposium on Research in Computer Security (ESORICS)},
  month        = {September},
  year         = {2008}
}

@inproceedings{backes08anonymous,
  author       = {Backes, Michael and Hamerlik, Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard},
  title        = {Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays},
  booktitle    = {Proceedings of 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)},
  month        = {July},
  year         = {2008}
}

@inproceedings{backes08caspa,
  author       = {Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim},
  title        = {CASPA: Causality-based Abstraction for Security Protocol Analysis},
  booktitle    = {Proceedings of 20th International Conference on Computer Aided Verification (CAV)},
  month        = {July},
  year         = {2008}
}

@inproceedings{backes08automated,
  author       = {Backes, Michael and Hritcu, Catalin and Maffei, Matteo},
  title        = {Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus},
  booktitle    = {Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF)},
  month        = {June},
  year         = {2008}
}

@inproceedings{backes08computational,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active },
  booktitle    = {Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF)},
  month        = {June},
  year         = {2008}
}

@inproceedings{backes08compromising,
  author       = {Backes, Michael and Duermuth, Markus and Unruh, Dominique},
  title        = {Compromising Reflections -- or -- How to Read LCD Monitors 
    Around the Corner},
  booktitle    = {Proceedings of 29th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2008}
}

@inproceedings{backes08zero,
  author       = {Backes, Michael and Maffei, Matteo and Unruh, Dominique},
  title        = {Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol},
  booktitle    = {Proceedings of 29th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2008}
}

@article{backes08key,
  author       = {Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre},
  title        = {Key-dependent Message Security under Active Attacks -
BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  journal      = {Journal of Computer Security (JCS)},
  year         = {2008},
  publisher    = {IOS Press}
}

@inproceedings{backes07simulatability,
  author       = {Backes, Michael and Dürmuth, Markus and Küsters, Ralf},
  title        = {On Simulatability Soundness and Mapping Soundness of
Symbolic Cryptography},
  booktitle    = {Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  month        = {December},
  year         = {2007}
}

@article{backes07conditional,
  author       = {Backes, Michael and Dürmuth, Markus and Hofheinz, Dennis and Küsters, Ralf},
  title        = {Conditional Reactive Simulatability},
  journal      = {International Journal of Information Security (IJIS)},
  year         = {2007},
  publisher    = {Springer}
}

@inproceedings{backes07calculus,
  author       = {Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo},
  title        = {A Calculus of Challenges and Responses},
  booktitle    = {Proceedings of 5th ACM Workshop on Formal Methods in 
    Security Engineering (FMSE)},
  month        = {November},
  year         = {2007}
}

@inproceedings{backes07key,
  author       = {Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre},
  title        = {Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  booktitle    = {Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)},
  month        = {June},
  year         = {2007},
  note         = {Preprint on IACR ePrint 2005/421}
}

@inproceedings{backes07causality,
  author       = {Backes, Michael and Cortesi, Agostino and Maffei, Matteo},
  title        = {Causality-based Abstraction of Multiplicity in Security Protocols},
  booktitle    = {Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)},
  month        = {June},
  year         = {2007}
}

@article{backes07reactive,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {The Reactive Simulatability Framework for Asynchronous Systems},
  journal      = {Information and Computation},
  year         = {2007},
  note         = {Preprint on IACR ePrint 2004/082}
}

@inproceedings{backes07information,
  author       = {Backes, Michael and Dürmuth, Markus and Unruh, Dominique},
  title        = {Information Flow in the Peer-Reviewing Process (extended abstract)},
  booktitle    = {Proceedings of 28th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2007}
}

@inproceedings{backes07necessity,
  author       = {Backes, Michael and Müller-Quade, Jörn and Unruh, Dominique},
  title        = {On the Necessity of Rewinding in Secure Multiparty
    Computation},
  booktitle    = {Theory of Cryptography, Proceedings of TCC 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4392},
  month        = {March},
  year         = {2007},
  publisher    = {Springer},
  pages        = {157-174},
  note         = {Preprint on IACR ePrint 2006/315}
}

@article{,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Limits of the Cryptographic Realization of Dolev-Yao Style XOR},
  journal      = {International Journal of Information Security (IJIS)},
  year         = {2006},
  publisher    = {Springer}
}

@inproceedings{backes06computationally,
  author       = {Backes, Michael and Laud, Peeter},
  title        = {Computationally Sound Secrecy Proofs by Mechanized Flow Analysis},
  booktitle    = {Proceedings of 13th ACM Conference on Computer and Communications Security (CCS)},
  month        = {November},
  year         = {2006},
  pages        = {370-379}
}

@inproceedings{backes06secure,
  author       = {Backes, Michael and Cachin, Christian and Oprea, Alina},
  title        = {Secure Key-Updating for Lazy Revocation},
  booktitle    = {Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4189},
  month        = {September},
  year         = {2006},
  publisher    = {Springer},
  pages        = {327-346},
  note         = {Preprint on IACR ePrint 2005/334}
}

@inproceedings{backes06limits,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes},
  booktitle    = {Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4189},
  month        = {September},
  year         = {2006},
  publisher    = {Springer},
  pages        = {404-423},
  note         = {Preprint on IACR ePrint 2006/068}
}

@inproceedings{backes06conditional,
  author       = {Backes, Michael and Duermuth, Markus and Hofheinz, Dennis and Kuesters, Ralf},
  title        = {Conditional Reactive Simulatability},
  booktitle    = {Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4189},
  month        = {September},
  year         = {2006},
  publisher    = {Springer},
  pages        = {424-443},
  note         = {Preprint on IACR ePrint 2006/132}
}

@inproceedings{backes06cryptographically,
  author       = {Backes, Michael and Cervesato, Iliano and Jaggard, Aaron D.  and Scedrov, Andre and Tsay, Joe-Kai},
  title        = {Cryptographically Sound Security Proofs for Basic and Public-key Kerberos},
  booktitle    = {Proceedings of 11th European Symposium on Research in Computer Security(ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4189},
  month        = {September},
  year         = {2006},
  publisher    = {Springer},
  pages        = {362-383},
  note         = {Preprint on IACR ePrint 2006/219}
}

@article{backes06compositional,
  author       = {Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu},
  title        = {Compositional Analysis of Contract Signing Protocols},
  journal      = {Theoretical Computer Science},
  volume       = {367},
  number       = {1-2},
  year         = {2006},
  pages        = {33-56}
}

@inproceedings{backes06formal,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael },
  title        = {Formal Methods and Cryptography},
  booktitle    = {Proceedings of 14th International Symposium on Formal Methods (FM)},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  month        = {August},
  year         = {2006},
  publisher    = {Springer},
  pages        = {612-616}
}

@inproceedings{sprenger06cryptographically,
  author       = {Sprenger, Christoph and Backes, Michael and Basin, David and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Cryptographically Sound Theorem Proving},
  booktitle    = {Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {July},
  year         = {2006},
  pages        = {153-166}
}

@inproceedings{backes06cryptographic,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol},
  booktitle    = {Proceedings of 21st IFIP International Information Security Conference (SEC)},
  month        = {May},
  year         = {2006},
  pages        = {233-245}
}

@article{backes06real,
  author       = {Backes, Michael},
  title        = {Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof},
  journal      = {Electronic Notes in Theoretical Computer Science (ENTCS)},
  volume       = {155},
  year         = {2006},
  pages        = {111-145}
}

@inproceedings{backes06symbolic,
  author       = {Backes, Michael and Moedersheim, Sebastian and Pfitzmann, Birgit and Vigano, Luca},
  title        = {Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario},
  booktitle    = {Proceedings of Foundations of Software Science and Computational Structures (FOSSACS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3921},
  month        = {March},
  year         = {2006},
  publisher    = {Springer},
  pages        = {428-445}
}

@inproceedings{backes05lazy,
  author       = {Backes, Michael and Cachin, Christian and Oprea, Alina},
  title        = {Lazy Revocation in Cryptographic File Systems},
  booktitle    = {Proceedings of 3rd International IEEE Security in Storage Workshop (SISW)},
  month        = {December},
  year         = {2005},
  pages        = {1-11}
}

@inproceedings{backes05tailoring,
  author       = {Backes, Michael and Gross, Thomas},
  title        = {Tailoring the Dolev-Yao Abstraction to Web Services Realities - A Comprehensive Wish List},
  booktitle    = {Proceedings of 2005 ACM Secure Web Services Workshop (SWS)},
  month        = {November},
  year         = {2005},
  pages        = {65-74}
}

@inproceedings{backes05fairness,
  author       = {Backes, Michael and Hofheinz, Dennis and Mueller-Quade, Joern and Unruh, Dominique},
  title        = {On Fairness in Simulatability-based Cryptographic Systems},
  booktitle    = {Proceedings of 2005 ACM Workshop on Formal Methods in Security Engineering (FMSE)},
  month        = {November},
  year         = {2005},
  pages        = {13-22}
}

@inproceedings{backes05cryptographically,
  author       = {Backes, Michael and Camenisch, Jan and Sommer, Dieter},
  title        = {Cryptographically Secure Anonymous Access Control with Accountability},
  booktitle    = {Proceedings of 4th ACM Workshop on Privacy in the Electronic  Society (WPES)},
  month        = {November},
  year         = {2005},
  pages        = {40-46}
}

@article{backes05unifying,
  author       = {Backes, Michael},
  title        = {Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions},
  journal      = {Journal of Logic and Algebraic Programming (JLAP)},
  volume       = {2},
  year         = {2005},
  pages        = {157-188}
}

@inproceedings{backes05limits,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Limits of the Cryptographic Realization of Dolev-Yao-style XOR},
  booktitle    = {Proceedings of 10th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3679},
  month        = {September},
  year         = {2005},
  publisher    = {Springer},
  pages        = {178-196}
}

@inproceedings{backes05quantifying,
  author       = {Backes, Michael},
  title        = {Quantifying Probabilistic Information Flow in Computational Reactive Systems},
  booktitle    = {Proceedings of 10th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3679},
  month        = {September},
  year         = {2005},
  publisher    = {Springer},
  pages        = {336-354}
}

@inproceedings{backes05compositional,
  author       = {Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu},
  title        = {Compositional Analysis of Contract Signing Protocols},
  booktitle    = {Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2005},
  pages        = {94-111}
}

@inproceedings{backes05eps,
  author       = {Backes, Michael and Duermuth, Markus},
  title        = {A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System},
  booktitle    = {Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2005},
  pages        = {78-93}
}

@article{backes05relating,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Relating Cryptographic und Symbolic Key Secrecy},
  journal      = {IEEE Transactions on Dependable and Secure Computing (TDSC)},
  volume       = {2},
  number       = {2},
  year         = {2005},
  pages        = {109-123}
}

@inproceedings{backes05secrecy,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Relating Cryptographic und Symbolic Secrecy},
  booktitle    = {Proceedings of 26th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2005},
  pages        = {171-182},
  note         = {Preprint on IACR ePrint 2004/300}
}

@inproceedings{backes05public,
  author       = {Backes, Michael and Cachin, Christian},
  title        = {Public-Key Steganography with Active Attacks},
  booktitle    = {Proceedings of 2nd Theory of Cryptography Conference (TCC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3378},
  month        = {February},
  year         = {2005},
  publisher    = {Springer},
  pages        = {210-226},
  note         = {Preprint on IACR ePrint 2003/231}
}

@article{backes05symmetric,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Symmetric Authentication Within a Simulatable Cryptographic Library},
  journal      = {International Journal of Information Security (IJIS)},
  volume       = {4},
  number       = {3},
  year         = {2005},
  pages        = {135-154}
}

@article{backes05reactively,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Reactively Secure Signature Schemes},
  journal      = {International Journal of Information Security (IJIS)},
  volume       = {4},
  number       = {4},
  year         = {2005},
  pages        = {242-252}
}

@article{backes04cryptographically,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol},
  journal      = {IEEE Journal on Selected Areas of Computing (JSAC)},
  volume       = {22},
  number       = {10},
  year         = {2004},
  pages        = {2075-2086}
}

@inproceedings{backes04otwayrees,
  author       = {Backes, Michael},
  title        = {A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol},
  booktitle    = {Proceedings of 9th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3193},
  month        = {September},
  year         = {2004},
  publisher    = {Springer},
  pages        = {89-108}
}

@inproceedings{backes04low,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Low-level Ideal Signatures and General Integrity Idealization},
  booktitle    = {Proceedings of 7th Information Security Conference (ISC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3225},
  month        = {September},
  year         = {2004},
  publisher    = {Springer},
  pages        = {39-51}
}

@inproceedings{backes04break,
  author       = {Backes, Michael and Hofheinz, Dennis},
  title        = {How to Break and Repair a Universally Composable Signature Functionality},
  booktitle    = {Proceedings of 7th Information Security Conference (ISC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3225},
  month        = {September},
  year         = {2004},
  publisher    = {Springer},
  pages        = {61-72},
  note         = {Preprint on IACR ePrint 2003/240}
}

@inproceedings{backes04algebra,
  author       = {Backes, Michael and Duermuth, Markus and Steinwandt, Rainer},
  title        = {An Algebra for Composing Enterprise Privacy Policies},
  booktitle    = {Proceedings of 9th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3193},
  month        = {September},
  year         = {2004},
  publisher    = {Springer},
  pages        = {33-52}
}

@inproceedings{backes04symmetric,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library},
  booktitle    = {Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2004},
  pages        = {204-218},
  note         = {Preprint on IACR ePrint 2004/059}
}

@inproceedings{backes04unification,
  author       = {Backes, Michael and Duermuth, Markus and Karjoth, Guenter},
  title        = {Unification in Privacy Policy Evaluation - Translating EPAL to Prolog},
  booktitle    = {Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY)},
  month        = {June},
  year         = {2004},
  pages        = {185-188}
}

@inproceedings{backes04efficient,
  author       = {Backes, Michael and Bagga, Walid and Karjoth, Guenter and Schunter, Matthias},
  title        = {Efficient Comparison of Enterprise Privacy Policies},
  booktitle    = {Proceedings of 19th ACM Symposium on Applied Computing (SAC)},
  month        = {March},
  year         = {2004},
  pages        = {375-382}
}

@inproceedings{backes04general,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {A General Composition Theorem for Secure Reactive System},
  booktitle    = {Proceedings of 1st Theory of Cryptography Conference (TCC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2951},
  month        = {February},
  year         = {2004},
  publisher    = {Springer},
  pages        = {336-354}
}

@article{backes04computational,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Computational Probabilistic Non-Interference},
  journal      = {International Journal of Information Security (IJIS)},
  volume       = {3},
  number       = {1},
  year         = {2004},
  pages        = {42-60}
}

@article{backes04polynomial,
  author       = {Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael},
  title        = {Polynomial Liveness},
  journal      = {Journal of Computer Security},
  volume       = {12},
  number       = {3-4},
  year         = {2004},
  pages        = {589-617}
}

@inproceedings{backes03cryptographically,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol},
  booktitle    = {Proceedings of 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2914},
  month        = {December},
  year         = {2003},
  publisher    = {Springer},
  pages        = {1-12},
  note         = {Preprint on IACR ePrint 2003/121}
}

@inproceedings{backes03composable,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {A Composable Cryptographic Library with Nested Operations (Extended Abstract)},
  booktitle    = {Proceedings of 10th ACM Conference on Computer and Communications Security (CCS)},
  month        = {October},
  year         = {2003},
  pages        = {220-230},
  note         = {Preprint on IACR ePrint 2003/015}
}

@inproceedings{backes03toolkit,
  author       = {Backes, Michael and Pfitzmann, Birgit and Schunter, Matthias},
  title        = {A Toolkit for Managing Enterprise Privacy Policies},
  booktitle    = {Proceedings of 8th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2808},
  month        = {October},
  year         = {2003},
  publisher    = {Springer},
  pages        = {162-180}
}

@inproceedings{backes03symmetric,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Symmetric Authentication Within a Simulatable Cryptographic Library},
  booktitle    = {Proceedings of 8th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2808},
  month        = {October},
  year         = {2003},
  publisher    = {Springer},
  pages        = {271-290},
  note         = {Preprint on IACR ePrint 2003/145}
}

@inproceedings{backes03reactively,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Reactively Secure Signature Schemes},
  booktitle    = {Proceedings of 6th Information Security Conference (ISC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2851},
  month        = {October},
  year         = {2003},
  publisher    = {Springer},
  pages        = {84-95}
}

@inproceedings{backes03unifying,
  author       = {Backes, Michael},
  title        = {Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract)},
  booktitle    = {Proceedings of 14th International Conference on Concurrency Theory (CONCUR)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2761},
  month        = {September},
  year         = {2003},
  publisher    = {Springer},
  pages        = {350-365},
  note         = {Preprint on IACR ePrint 2003/114}
}

@inproceedings{backes03from,
  author       = {Backes, Michael and Schunter, Matthias},
  title        = {From Absence of Certain Vulnerabilities towards Security Proofs - Pushing the Limits of Formal Verification},
  booktitle    = {Proceedings of the 10th ACM Workshop on New Security Paradigms (NSPW)},
  month        = {August},
  year         = {2003},
  pages        = {67-74}
}

@inproceedings{backes03proactive,
  author       = {Backes, Michael and Cachin, Christian and Strobl, Reto},
  title        = {Proactive Secure Message Transmission in Asynchronous Networks},
  booktitle    = {Proceedings of 22nd ACM Symposium on Principles of Distributed Computing (PODC)},
  month        = {July},
  year         = {2003},
  pages        = {223-232}
}

@inproceedings{backes03security,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Security in Business Process Engineering},
  booktitle    = {Proceedings of 2003 International Conference on Business Process Management},
  series       = {Lecture Notes in Computer Science},
  volume       = {2678},
  month        = {September},
  year         = {2003},
  publisher    = {Springer},
  pages        = {168-183}
}

@inproceedings{backes03reliable,
  author       = {Backes, Michael and Cachin, Christian},
  title        = {Reliable broadcast in a computational hybrid model with Byzantine faults, crashes, and recoveries},
  booktitle    = {Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN)},
  month        = {June},
  year         = {2003},
  pages        = {37-46}
}

@inproceedings{backes03intransitive,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Intransitive Non-Interference for Cryptographic Purposes},
  booktitle    = {Proceedings of 24th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2003},
  pages        = {140-152}
}

@inproceedings{backes03machineassisted,
  author       = {Backes, Michael and Jacobi, Christian},
  title        = {Cryptographically Sound and Machine-Assisted Verification of Security Protocols},
  booktitle    = {Proceedings of 20th International Symposium on Theoretical Aspects of Computer Science (STACS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2607},
  month        = {February},
  year         = {2003},
  publisher    = {Springer},
  pages        = {675-686}
}

@inproceedings{backes02computational,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Computational Probabilistic Non-Interference},
  booktitle    = {Proceedings of 7th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2502},
  month        = {October},
  year         = {2002},
  publisher    = {Springer},
  pages        = {1-23}
}

@inproceedings{backes02deriving,
  author       = {Backes, Michael and Jacobi, Christian and Pfitzmann, Birgit},
  title        = {Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation},
  booktitle    = {Proceedings of 11th International Symposium on Formal Methods Europe (FME)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2391},
  month        = {October},
  year         = {2002},
  publisher    = {Springer},
  pages        = {310-329}
}

@inproceedings{backes02polynomial,
  author       = {Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael},
  title        = {Polynomial Fairness and Liveness},
  booktitle    = {Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2002},
  pages        = {160-174}
}

@inbook{backes07enterprise,
  author       = {Backes, Michael and Duermuth, Markus},
  title        = {Enterprise Privacy Policies and Languages},
  booktitle    = {Digital Privacy: Theory, Technologies and Practices},
  year         = {2007},
  publisher    = {Elsevier}
}

@inbook{backes04justifying,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Justifying a Dolev-Yao Model under Active Attacks},
  booktitle    = {Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3655},
  month        = {August},
  year         = {2004},
  publisher    = {Springer},
  pages        = {1-42}
}

@proceedings{backes06proceedings,
  author       = {Backes, Michael and Gritzalis, Stefanos and Preneel, Bart and Katsikas, Sokratis K. and Lopez, Javier},
  title        = {Proceedings of 9th International Conference on Information Security (ISC), Samos Island, Greece},
  series       = {Lecture Notes in Computer Science},
  volume       = {4176},
  month        = {August},
  year         = {2006},
  publisher    = {Springer}
}

@proceedings{backes05proceedings,
  author       = {Backes, Michael and Scedrov, Andre},
  title        = {Proceedings of 3rd International Workshop on Security and Concurrency (SecCo), affiliated with CONCUR'05, San Francisco, CA},
  month        = {September},
  year         = {2005},
  publisher    = {ENTCS}
}

@proceedings{backes04proceedings,
  author       = {Backes, Michael and Basin, David and Waidner, Michael},
  title        = {Proceedings of 2nd ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'04, Washington D.C.},
  month        = {October},
  year         = {2004},
  publisher    = {ACM}
}

@proceedings{backes03proceedings,
  author       = {Backes, Michael and Basin, David and Waidner, Michael},
  title        = {Proceedings of 1st ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'03, Washington D.C.},
  month        = {October},
  year         = {2003},
  publisher    = {ACM}
}

@misc{backes07causality-wits,
  author       = {Backes, Michael and Cortesi, Agostino and Maffei, Matteo},
  title        = {Causality-based Abstraction of Multiplicity in Security Protocol Analysis},
  howpublished = {7th International Workshop on Issues in the Theory of Security (WITS)},
  month        = {April},
  year         = {2007}
}

@misc{backes07calculus-wits,
  author       = {Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo},
  title        = {A Calculus of Challenges and Reponses},
  howpublished = {7th International Workshop on Issues in the Theory of Security (WITS)},
  month        = {April},
  year         = {2007}
}

@misc{backes06games,
  author       = {Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Ramanathan, Ajith and Scedrov, Andre},
  title        = {Games and the Impossibility of Realizable Ideal Functionality},
  howpublished = {Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06},
  month        = {June},
  year         = {2006}
}

@misc{backes06soundness,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Soundness Limits of Dolev-Yao Models},
  howpublished = {Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06},
  month        = {June},
  year         = {2006}
}

@misc{backes06flowanalysis,
  author       = {Backes, Michael and Laud, Peeter},
  title        = {Computationally Sound Secrecy Proofs by Mechnized Flow Analysis},
  howpublished = {Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06},
  month        = {June},
  year         = {2006}
}

@misc{backes05xorhash,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Limits of the Cryptographic Realization of Dolev-Yao-style XOR and Dolev-Yao-Style Hash Functions},
  howpublished = {Abstract presented at 26th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2005}
}

@misc{backes05justifying,
  author       = {Backes, Michael},
  title        = {Justifying Dolev-Yao under Active Attacks},
  howpublished = {Abstract presented at 26th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2005}
}

@misc{backes03needham-spv,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol (Extended Abstract)},
  howpublished = {Workshop on Security Protocols Verification (SPV'2003), affiliated with CONCUR'03},
  month        = {September},
  year         = {2003}
}

@phdthesis{backes02cryptographically,
  author       = {Backes, Michael},
  title        = {Cryptographically Sound Analysis of Security Protocols},
  school       = {Saarland University, Computer Science Department},
  year         = {2002}
}

@masterthesis{backes02factorization,
  author       = {Backes, Michael},
  title        = {Factorization of Univariate Polynomials},
  school       = {Saarland University, Mathematics Department},
  year         = {2002}
}

@masterthesis{backes02new,
  author       = {Backes, Michael},
  title        = {New Number-Theoretic Assumptions in Cryptography (in german)},
  school       = {Saarland University, Computer Science Department},
  year         = {2002}
}