Sebastian Mödersheim

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 22

Top Topics

Protocol Specification

Security Protocols

Artificial Immune Algorithm

Privacy Concerns

Top Venues

Open Identity Summit

Arch. Formal Proofs

Protocols, Strands, and Logic

Publications

Sebastian Mödersheim, Siyu Chen
Accountable Banking Transactions. Open Identity Summit (2024)
Laouen Fernet, Sebastian Mödersheim
Private Authentication with Alpha-Beta Privacy. Open Identity Summit (2023)
Sebastian Mödersheim
Rewriting Privacy. WRLA@ETAPS (2022)
Sébastien Gondron, Sebastian Mödersheim, Luca Viganò
Privacy as Reachability. CSF (2022)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Performing Security Proofs of Stateful Protocols. CSF (2021)
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
Security Protocols as Choreographies. Protocols, Strands, and Logic (2021)
Sébastien Gondron, Sebastian Mödersheim
Vertical Composition and Sound Payload Abstraction for Stateful Protocols. CSF (2021)
Sebastian Mödersheim, Jorge Cuéllar
Three Branches of Accountability. Protocols, Strands, and Logic (2021)
Lukas Alber, Stefan More, Sebastian Mödersheim, Anders Schlichtkrull
Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. Open Identity Summit (2021)
Koen Tange, Sebastian Mödersheim, Apostolos Lalos, Xenofon Fafoutis, Nicola Dragoni
rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things. Sensors 21 (19) (2021)
Laouen Fernet, Sebastian Mödersheim
Deciding a Fragment of (α , β )-Privacy. STM (2021)
Joshua D. Guttman, Sebastian Mödersheim
HotSpot: Hot Issues in Security Principles and Trust 2020. EuroS&P Workshops (2020)
Anders Schlichtkrull, Sebastian Mödersheim
Accountable Trust Decisions: A Semantic Approach. Open Identity Summit (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker
Stateful Protocol Composition and Typing. Arch. Formal Proofs 2020 (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)
Sebastian Mödersheim, Luca Viganò
Alpha-Beta Privacy. ACM Trans. Priv. Secur. 22 (1) (2019)
Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber
TPL: A Trust Policy Language. IFIPTM (2019)
Sébastien Gondron, Sebastian Mödersheim
Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy. ESORICS (1) (2019)
Andreas V. Hess, Sebastian Mödersheim
A Typing Result for Stateful Protocols. CSF (2018)
Andreas Viktor Hess, Sebastian Mödersheim
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. CSF (2017)
Sebastian Mödersheim, Alessandro Bruni
AIF-ω: Set-Based Protocol Abstraction with Countable Families. POST (2016)
Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti
Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30 (2016)
Sören Bleikertz, Carsten Vogel, Thomas Groß, Sebastian Mödersheim
Proactive Security Analysis of Changes in Virtualized Infrastructures. ACSAC (2015)
Omar Almousa, Sebastian Mödersheim, Luca Viganò
Alice and Bob: Reconciling Formal Models and Implementation. Programming Languages with Applications to Biology and Security (2015)
Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) (2015)
Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Set-Pi: Set Membership p-Calculus. CSF (2015)
Sebastian Mödersheim, Luca Viganò
Sufficient conditions for vertical composition of security protocols. AsiaCCS (2014)
Sebastian Mödersheim, Georgios Katsoris
A Sound Abstraction of the Parsing Problem. CSF (2014)
Sebastian Mödersheim, Thomas Groß, Luca Viganò
Defining Privacy Is Supposed to Be Easy. LPAR (2013)
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Lazy Mobile Intruders. POST (2013)
Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni
Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs. NordSec (2013)
Sebastian Mödersheim
Deciding Security for a Fragment of ASLan. ESORICS (2012)
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, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Sebastian Mödersheim
Diffie-Hellman without Difficulty. Formal Aspects in Security and Trust (2011)
Sebastian Mödersheim, Paolo Modesti
Verifying SeVeCom using set-based abstraction. IWCMC (2011)
Sören Bleikertz, Thomas Groß, Sebastian Mödersheim
Automated verification of virtualized infrastructures. CCSW (2011)
Thomas Groß, Sebastian Mödersheim
Vertical Protocol Composition. CSF (2011)
Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò
Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly (2011)
Jan Camenisch, Sebastian Mödersheim, Gregory Neven, Franz-Stefan Preiss, Dieter Sommer
A card requirements language enabling privacy-preserving access control. SACMAT (2010)
David von Oheimb, Sebastian Mödersheim
ASLan++ - A Formal Security Specification Language for Distributed Systems. FMCO (2010)
Jan Camenisch, Sebastian Mödersheim, Dieter Sommer
A Formal Model of Identity Mixer. FMICS (2010)
Sebastian Mödersheim
Abstraction by set-membership: verifying security protocols and web services with databases. CCS (2010)
Sebastian Mödersheim, Luca Viganò, David A. Basin
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. J. Comput. Secur. 18 (4) (2010)
Achim D. Brucker, Sebastian Mödersheim
Integrating Automated and Interactive Protocol Verification. Formal Aspects in Security and Trust (2009)
Sebastian Mödersheim, Luca Viganò
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. FOSAD (2009)
Sebastian Mödersheim
Algebraic Properties in Alice and Bob Notation. ARES (2009)
Sebastian Mödersheim, Luca Viganò
Secure Pseudonymous Channels. ESORICS (2009)
Sebastian Mödersheim
On the relationships between models in protocol verification. Inf. Comput. 206 (2-4) (2008)
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptol. ePrint Arch. 2006 (2006)
Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin
Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust (2006)
Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS (2006)
David A. Basin, Sebastian Mödersheim, Luca Viganò
Algebraic Intruder Deductions. LPAR (2005)
Paul Hankes Drielsma, Sebastian Mödersheim
The ASW Protocol Revisited: A Unified View. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
David A. Basin, Sebastian Mödersheim, Luca Viganò
OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4 (3) (2005)
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, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV (2005)
Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò
A Formalization of Off-Line Guessing for Security Protocol Analysis. LPAR (2004)
David A. Basin, Sebastian Mödersheim, Luca Viganò
CDiff: a new reduction technique for constraint-based analysis of security protocols. CCS (2003)
David A. Basin, Sebastian Mödersheim, Luca Viganò
An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS (2003)
Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
The AVISS Security Protocol Analysis Tool. CAV (2002)
David A. Basin, Stefan Friedrich, Sebastian Mödersheim
B2M: A Semantic Based Tool for BLIF Hardware Descriptions. FMCAD (2000)