B2M: A Semantic Based Tool for BLIF Hardware Descriptions. - David A. Basin; Stefan Friedrich 001; Sebastian Mödersheim (FMCAD, 2000)

The AVISS Security Protocol Analysis Tool. - Alessandro Armando; David A. Basin; Mehdi Bouallagui; Yannick Chevalier; Luca Compagna; Sebastian Mödersheim; Michaël Rusinowitch; Mathieu Turuani; Luca Viganò 001; Laurent Vigneron (CAV, 2002)

CDiff: a new reduction technique for constraint-based analysis of security protocols. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (CCS, 2003)

An On-the-Fly Model-Checker for Security Protocol Analysis. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (ESORICS, 2003)

A Formalization of Off-Line Guessing for Security Protocol Analysis. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001 (LPAR, 2004)

The ASW Protocol Revisited: A Unified View. - Paul Hankes Drielsma; Sebastian Mödersheim (ARSPA@IJCAR, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - Alessandro Armando; David A. Basin; Yohan Boichut; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Paul Hankes Drielsma; Pierre-Cyrille Héam; Olga Kouchnarenko; Jacopo Mantovani; Sebastian Mödersheim; David von Oheimb; et al. (CAV, 2005)

Algebraic Intruder Deductions. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (LPAR, 2005)

OFMC: A symbolic model checker for security protocols. - David A. Basin; Sebastian Mödersheim; Luca Viganò 001 (Int. J. Inf. Sec., 2005)

Formalizing and Analyzing Sender Invariance. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001; David A. Basin (Formal Aspects in Security and Trust, 2006)

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. - Michael Backes 001; Sebastian Mödersheim; Birgit Pfitzmann; Luca Viganò 001 (IACR Cryptol. ePrint Arch., 2006)

Models and methods for the automated analysis of security protocols. - Sebastian Mödersheim (2007)

On the relationships between models in protocol verification. - Sebastian Mödersheim (Inf. Comput., 2008)

Algebraic Properties in Alice and Bob Notation. - Sebastian Mödersheim (ARES, 2009)

Secure Pseudonymous Channels. - Sebastian Mödersheim; Luca Viganò 001 (ESORICS, 2009)

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. - Sebastian Mödersheim; Luca Viganò 001 (FOSAD, 2009)

Integrating Automated and Interactive Protocol Verification. - Achim D. Brucker; Sebastian Mödersheim (Formal Aspects in Security and Trust, 2009)

Abstraction by set-membership: verifying security protocols and web services with databases. - Sebastian Mödersheim (CCS, 2010)

ASLan++ - A Formal Security Specification Language for Distributed Systems. - David von Oheimb; Sebastian Mödersheim (FMCO, 2010)

A Formal Model of Identity Mixer. - Jan Camenisch; Sebastian Mödersheim; Dieter Sommer (FMICS, 2010)

A card requirements language enabling privacy-preserving access control. - Jan Camenisch; Sebastian Mödersheim; Gregory Neven; Franz-Stefan Preiss; Dieter Sommer (SACMAT, 2010)

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. - Sebastian Mödersheim; Luca Viganò 001; David A. Basin (J. Comput. Secur., 2010)

Automated verification of virtualized infrastructures. - Sören Bleikertz; Thomas Groß 001; Sebastian Mödersheim (CCSW, 2011)

Vertical Protocol Composition. - Thomas Groß 001; Sebastian Mödersheim (CSF, 2011)

Towards Formal Validation of Trust and Security in the Internet of Services. - Roberto Carbone; Marius Minea; Sebastian Mödersheim; Serena Elisa Ponta; Mathieu Turuani; Luca Viganò 001 (Future Internet Assembly, 2011)

Diffie-Hellman without Difficulty. - Sebastian Mödersheim (Formal Aspects in Security and Trust, 2011)

Verifying SeVeCom using set-based abstraction. - Sebastian Mödersheim; Paolo Modesti (IWCMC, 2011)

Deciding Security for a Fragment of ASLan. - Sebastian Mödersheim (ESORICS, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - Alessandro Armando; Wihem Arsac; Tigran Avanesov; Michele Barletta; Alberto Calvi; Alessandro Cappai; Roberto Carbone; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)

Defining Privacy Is Supposed to Be Easy. - Sebastian Mödersheim; Thomas Groß 001; Luca Viganò 001 (LPAR, 2013)

Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs. - Alessio Di Mauro; Xenofon Fafoutis; Sebastian Mödersheim; Nicola Dragoni (NordSec, 2013)

Lazy Mobile Intruders. - Sebastian Mödersheim; Flemming Nielson; Hanne Riis Nielson (POST, 2013)

Sufficient conditions for vertical composition of security protocols. - Sebastian Mödersheim; Luca Viganò 001 (AsiaCCS, 2014)

A Sound Abstraction of the Parsing Problem. - Sebastian Mödersheim; Georgios Katsoris (CSF, 2014)

Proactive Security Analysis of Changes in Virtualized Infrastructures. - Sören Bleikertz; Carsten Vogel; Thomas Groß 001; Sebastian Mödersheim (ACSAC, 2015)

Alice and Bob: Reconciling Formal Models and Implementation. - Omar Almousa; Sebastian Mödersheim; Luca Viganò 001 (Programming Languages with Applications to Biology and Security, 2015)

Set-Pi: Set Membership p-Calculus. - Alessandro Bruni; Sebastian Mödersheim; Flemming Nielson; Hanne Riis Nielson (CSF, 2015)

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. - Omar Almousa; Sebastian Mödersheim; Paolo Modesti; Luca Viganò 001 (ESORICS (2), 2015)

AIF-ω: Set-Based Protocol Abstraction with Countable Families. - Sebastian Mödersheim; Alessandro Bruni (POST, 2016)

Security protocol specification and verification with AnBx. - Michele Bugliesi; Stefano Calzavara; Sebastian Mödersheim; Paolo Modesti (J. Inf. Secur. Appl., 2016)

Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. - Andreas Viktor Hess; Sebastian Mödersheim (CSF, 2017)

A Typing Result for Stateful Protocols. - Andreas V. Hess; Sebastian Mödersheim (CSF, 2018)

Stateful Protocol Composition. - Andreas V. Hess; Sebastian Alexander Mödersheim; Achim D. Brucker (ESORICS (1), 2018)

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy. - Sébastien Gondron; Sebastian Mödersheim (ESORICS (1), 2019)

TPL: A Trust Policy Language. - Sebastian Mödersheim; Anders Schlichtkrull; Georg Wagner; Stefan More; Lukas Alber (IFIPTM, 2019)

GTPL: A Graphical Trust Policy Language. - Sebastian Alexander Mödersheim; Bihang Ni (Open Identity Summit, 2019)

Alpha-Beta Privacy. - Sebastian Mödersheim; Luca Viganò 001 (ACM Trans. Priv. Secur., 2019)

HotSpot: Hot Issues in Security Principles and Trust 2020. - Joshua D. Guttman; Sebastian Mödersheim (EuroS&P Workshops, 2020)

Accountable Trust Decisions: A Semantic Approach. - Anders Schlichtkrull; Sebastian Mödersheim (Open Identity Summit, 2020)

Stateful Protocol Composition and Typing. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker (Arch. Formal Proofs, 2020)

Automated Stateful Protocol Verification. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (Arch. Formal Proofs, 2020)

Security Protocols as Choreographies. - Alessandro Bruni; Marco Carbone; Rosario Giustolisi; Sebastian Mödersheim; Carsten Schürmann 001 (Protocols, Strands, and Logic, 2021)

Three Branches of Accountability. - Sebastian Mödersheim; Jorge Cuéllar (Protocols, Strands, and Logic, 2021)

Vertical Composition and Sound Payload Abstraction for Stateful Protocols. - Sébastien Gondron; Sebastian Mödersheim (CSF, 2021)

Performing Security Proofs of Stateful Protocols. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (CSF, 2021)

Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. - Lukas Alber; Stefan More; Sebastian Mödersheim; Anders Schlichtkrull (Open Identity Summit, 2021)

Deciding a Fragment of (α , β )-Privacy. - Laouen Fernet; Sebastian Mödersheim (STM, 2021)

rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things. - Koen Tange; Sebastian Mödersheim; Apostolos Lalos; Xenofon Fafoutis; Nicola Dragoni (Sensors, 2021)

Privacy as Reachability. - Sébastien Gondron; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2022)

Rewriting Privacy. - Sebastian Mödersheim (WRLA@ETAPS, 2022)

Private Authentication with Alpha-Beta Privacy. - Laouen Fernet; Sebastian Mödersheim (Open Identity Summit, 2023)

Stateful Protocol Composition in Isabelle/HOL. - Andreas V. Hess; Sebastian Alexander Mödersheim; Achim D. Brucker (ACM Trans. Priv. Secur., 2023)

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions. - Laouen Fernet; Sebastian Mödersheim; Luca Viganò 001 (CSF, 2024)

Accountable Banking Transactions. - Sebastian Mödersheim; Siyu Chen (Open Identity Summit, 2024)