Sebastian Mödersheim

68 papers A* 4A 15B 7C 2Journal 11Unranked 24

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