| 2026 | SP | The Fault in Our Drafts: Vulnerabilities in RPKI Specification and Software. | Oliver Jacobsen, Tobias Kirsch, Haya Schulmann, Niklas Vogel, Michael Waidner |
| 2025 | CCS | Poster: Exploring the Landscape of RPKI Relying Parties. | Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2025 | NSDI | ValidaTor: Domain Validation over Tor. | Jens Frie, Haya Schulmann, Michael Waidner |
| 2024 | AsiaCCS | External Attack-Surface of Modern Organizations. | Nethanel Gelernter, Haya Schulmann, Michael Waidner |
| 2024 | CCS | Poster: Kill Krill or Proxy RPKI. | Louis Cattepoel, Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2024 | CCS | Byzantine-Secure Relying Party for Resilient RPKI. | Jens Frie, Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2024 | CCS | The Harder You Try, The Harder You Fail: The KeyTrap Denial-of-Service Algorithmic Complexity Attacks on DNSSEC. | Elias Heftrig, Haya Schulmann, Niklas Vogel, Michael Waidner |
| 2024 | CCS | Poster: From Fort to Foe: The Threat of RCE in RPKI. | Oliver Jacobsen, Haya Schulmann, Niklas Vogel, Michael Waidner |
| 2024 | CCS | Poster: Security of Login Interfaces in Modern Organizations. | Kevin Nsieyanji Tchokodeu, Haya Schulmann, Gil Sobol, Michael Waidner |
| 2024 | HOTNETS | Crowdsourced Distributed Domain Validation. | Jens Frie, Haya Schulmann, Michael Waidner |
| 2024 | NDSS | The CURE to Vulnerabilities in RPKI Validation. | Donika Mirdita, Haya Schulmann, Niklas Vogel, Michael Waidner |
| 2024 | NSDI | Cloudy with a Chance of Cyberattacks: Dangling Resources Abuse on Cloud Platforms. | Jens Frie, Tobias Gattermayer, Nethanel Gelernter, Haya Schulmann, Michael Waidner |
| 2023 | CCS | Poster: Longitudinal Analysis of DoS Attacks. | Fabian Kaiser, Haya Schulmann, Michael Waidner |
| 2023 | SIGCOMM | Poster: Off-Path DNSSEC Downgrade Attacks. | Elias Heftrig, Haya Schulmann, Michael Waidner |
| 2023 | SIGCOMM | Beyond Limits: How to Disable Validators in Secure Networks. | Tomas Hlavacek, Philipp Jeitner, Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2022 | CCS | Poster: The Unintended Consequences of Algorithm Agility in DNSSEC. | Elias Heftrig, Haya Schulmann, Michael Waidner |
| 2022 | CCS | Behind the Scenes of RPKI. | Tomas Hlavacek, Philipp Jeitner, Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2022 | CCS | Poster: RPKI Kill Switch. | Donika Mirdita, Haya Schulmann, Michael Waidner |
| 2022 | CCS | Poster: Insights into Global Deployment of RPKI Validation. | Haya Schulmann, Niklas Vogel, Michael Waidner |
| 2022 | CCS | Poster: DNS in Routers Considered Harmful. | Haya Schulmann, Michael Waidner |
| 2022 | ESORICS | Smart RPKI Validation: Avoiding Errors and Preventing Hijacks. | Tomas Hlavacek, Haya Schulmann, Michael Waidner |
| 2021 | CCS | Evaluating Resilience of Domains in PKI. | Markus Brandt, Haya Schulmann, Michael Waidner |
| 2021 | CCS | Let's Downgrade Let's Encrypt. | Tianxiang Dai, Haya Schulmann, Michael Waidner |
| 2021 | CCS | Predictive Cipher-Suite Negotiation for Boosting Deployment of New Ciphers. | Elias Heftrig, Jean-Pierre Seifert, Haya Schulmann, Michael Waidner, Nils Wisiol |
| 2021 | DSN | The Master and Parasite Attack. | Lukas Baumann, Elias Heftrig, Haya Schulmann, Michael Waidner |
| 2021 | ICDCS | Poster: Off-path VoIP Interception Attacks. | Tianxiang Dai, Haya Schulmann, Michael Waidner |
| 2021 | ICDCS | Poster: Fragmentation Attacks on DNS over TCP. | Tianxiang Dai, Haya Schulmann, Michael Waidner |
| 2021 | INFOCOM | Not All Conflicts Are Created Equal: Automated Error Resolution in RPKI Deployments. | Tomas Hlavacek, Haya Schulmann, Michael Waidner |
| 2021 | INFOCOM | SSLChecker. | Haya Schulmann, Michael Waidner |
| 2021 | SIGCOMM | From IP to transport and beyond: cross-layer attacks against applications. | Tianxiang Dai, Philipp Jeitner, Haya Schulmann, Michael Waidner |
| 2020 | CoNEXT | Black-box caches fingerprinting. | Amit Klein, Elias Heftrig, Haya Schulmann, Michael Waidner |
| 2020 | CoNEXT | Performance penalties of resilient SDN infrastructures. | Daniel Senf, Haya Schulmann, Michael Waidner |
| 2020 | DSN | The Impact of DNS Insecurity on Time. | Philipp Jeitner, Haya Schulmann, Michael Waidner |
| 2020 | DSN | Secure Consensus Generation with Distributed DoH. | Philipp Jeitner, Haya Schulmann, Michael Waidner |
| 2020 | DSN | Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP. | Philipp Jeitner, Haya Schulmann, Michael Waidner |
| 2020 | DSN | Diving into Email Bomb Attack. | Markus Schneider, Haya Schulmann, Adi Sidis, Ravid Sidis, Michael Waidner |
| 2020 | GLOBECOM | Cryptanalysis of FNV-Based Cookies. | Amit Klein, Haya Schulmann, Michael Waidner |
| 2020 | GLOBECOM | Blocking Email Bombs with EmailGlass. | Markus Schneider, Haya Schulmann, Michael Waidner |
| 2018 | CCS | Domain Validation++ For MitM-Resilient PKI. | Markus Brandt, Tianxiang Dai, Amit Klein, Haya Schulmann, Michael Waidner |
| 2018 | CCS | Off-Path Attacks Against PKI. | Tianxiang Dai, Haya Schulmann, Michael Waidner |
| 2018 | CCS | Removing the Bottleneck for Practical 2PC. | Kris Shrishak, Haya Schulmann, Michael Waidner |
| 2018 | DSN | Practical Experience: Methodologies for Measuring Route Origin Validation. | Tomas Hlavacek, Amir Herzberg, Haya Schulmann, Michael Waidner |
| 2018 | HOTNETS | Internet As a Source of Randomness. | Markus Brandt, Haya Schulmann, Michael Waidner |
| 2018 | ICDCS | Path MTU Discovery Considered Harmful. | Matthias Gohring, Haya Schulmann, Michael Waidner |
| 2017 | CCS | POSTER: X-Ray Your DNS. | Amit Klein, Vladimir Kravtsov, Alon Perlmuter, Haya Schulmann, Michael Waidner |
| 2017 | DSN | Counting in the Dark: DNS Caches Discovery and Enumeration in the Internet. | Amit Klein, Haya Schulmann, Michael Waidner |
| 2017 | INFOCOM | Internet-wide study of DNS cache injections. | Amit Klein, Haya Schulmann, Michael Waidner |
| 2017 | NSDI | One Key to Sign Them All Considered Vulnerable: Evaluation of DNSSEC in the Internet. | Haya Schulmann, Michael Waidner |
| 2017 | SIGCOMM | Authentication-Bypass Vulnerabilities in SOHO Routers. | Nadav Rotenberg, Haya Schulmann, Michael Waidner, Benjamin Zeltser |
| 2016 | CANS | DNSSEC Misconfigurations in Popular Domains. | Tianxiang Dai, Haya Schulmann, Michael Waidner |
| 2016 | CCS | Stratum Filtering: Cloud-based Detection of Attack Sources. | Amir Herzberg, Haya Schulmann, Michael Waidner |
| 2016 | DATE | Security in industrie 4.0 - challenges and solutions for the fourth industrial revolution. | Michael Waidner, Michael Kasper |
| 2016 | DSN | NetCo: Reliable Routing With Unreliable Routers. | Anja Feldmann, Philipp Heyder, Michael Kreutzer, Stefan Schmid, Jean-Pierre Seifert, Haya Schulmann, Kashyap Thimmaraju, Michael Waidner, Jens Sieberg |
| 2015 | DAC | Security and privacy challenges in industrial internet of things. | Ahmad-Reza Sadeghi, Christian Wachsmann, Michael Waidner |
| 2015 | ESORICS | Towards Security of Internet Naming Infrastructure. | Haya Schulmann, Michael Waidner |
| 2015 | GLOBECOM | Detection and Forensics of Domains Hijacking. | Andreas Borgwart, Spyros Boukoros, Haya Schulmann, Carel van Rooyen, Michael Waidner |
| 2014 | ACNS | Fragmentation Considered Leaking: Port Inference for DNS Poisoning. | Haya Schulmann, Michael Waidner |
| 2014 | PERCOM | Personal DLP for Facebook. | Marco Ghiglieri, Martin Stopczynski, Michael Waidner |
| 2014 | SP | Towards Forensic Analysis of Attacks with DNSSEC. | Haya Schulmann, Michael Waidner |
| 2006 | ESORICS | Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | FM | Formal Methods and Cryptography. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2004 | TCC | A General Composition Theorem for Secure Reactive Systems. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | BPM | Security in Business Process Engineering. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | CCS | A composable cryptographic library with nested operations. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | ESORICS | Symmetric Authentication within a Simulatable Cryptographic Library. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2001 | SP | A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission. | Birgit Pfitzmann, Michael Waidner |
| 2000 | CCS | Composition and integrity preservation of secure reactive systems. | Birgit Pfitzmann, Michael Waidner |
| 2000 | ICALP | Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing. | Birgit Baum-Waidner, Michael Waidner |
| 2000 | NDSS | Secure Password-Based Cipher Suite for TLS. | Peter Buhler, Thomas Eirich, Michael Waidner, Michael Steiner |
| 1998 | EuroCrypt | Optimistic Fair Exchange of Digital Signatures (Extended Abstract). | N. Asokan, Victor Shoup, Michael Waidner |
| 1998 | ICDCS | CLIQUES: A New Approach to Group Key Agreement. | Michael Steiner, Gene Tsudik, Michael Waidner |
| 1998 | PODC | Optimal Efficiency of Optimistic Contract Signing. | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
| 1998 | SP | Asynchronous Protocols for Optimistic Fair Exchange. | N. Asokan, Victor Shoup, Michael Waidner |
| 1997 | CCS | Optimistic Protocols for Fair Exchange. | N. Asokan, Matthias Schunter, Michael Waidner |
| 1997 | CCS | Asymmetric Fingerprinting for Larger Collusions. | Birgit Pfitzmann, Michael Waidner |
| 1997 | EuroCrypt | Anonymous Fingerprinting. | Birgit Pfitzmann, Michael Waidner |
| 1996 | CCS | Diffie-Hellman Key Distribution Extended to Group Communication. | Michael Steiner, Gene Tsudik, Michael Waidner |
| 1996 | ESORICS | Server-Supported Signatures. | N. Asokan, Gene Tsudik, Michael Waidner |
| 1996 | ESORICS | Development of a Secure Electronic Marketplace for Europe. | Michael Waidner |
| 1995 | EuroCrypt | How to Break Another Provably Secure Payment System. | Birgit Pfitzmann, Matthias Schunter, Michael Waidner |
| 1994 | ESORICS | The ESPRIT Project CAFE - High Security Digital Payment Systems. | Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Fr. Mjlsnes, Frank Muller, Torben P. Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Valle, Michael Waidner |
| 1992 | EuroCrypt | Attacks on Protocols for Server-Aided RSA Computation. | Birgit Pfitzmann, Michael Waidner |
| 1992 | STACS | Unconditional Byzantine Agreement for any Number of Faulty Processors. | Birgit Pfitzmann, Michael Waidner |
| 1991 | CRYPTO | How To Break and Repair A "Provably Secure" Untraceable Payment System. | Birgit Pfitzmann, Michael Waidner |
| 1991 | STACS | Unconditional Byzantine Agreement with Good Majority. | Birgit Baum-Waidner, Birgit Pfitzmann, Michael Waidner |
| 1990 | EuroCrypt | A Remark on a Signature Scheme Where Forgery Can Be Proved. | Gerrit Bleumer, Birgit Pfitzmann, Michael Waidner |
| 1989 | EuroCrypt | Unconditional Sender and Recipient Untraceability in Spite of Active Attacks. | Michael Waidner |
| 1989 | EuroCrypt | The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract). | Michael Waidner, Birgit Pfitzmann |
| 1985 | EuroCrypt | Networks Without User Observability: Design Options. | Andreas Pfitzmann, Michael Waidner |