Sebastian Mödersheim

Available identifiers

Publication	Date of Publication	Type
Rewriting Privacy	2022-12-07	Paper
Formalizing and proving privacy properties of voting protocols using alpha-beta privacy	2022-08-25	Paper
Stateful protocol composition	2022-08-25	Paper
Typing and compositionality for security protocols: a generalization to the geometric fragment	2022-08-19	Paper
Security protocols as choreographies	2022-07-13	Paper
Alice and Bob: Reconciling Formal Models and Implementation	2016-01-08	Paper
Defining Privacy Is Supposed to Be Easy	2014-01-17	Paper
The ASW protocol revisited: a unified view	2013-09-25	Paper
Lazy Mobile Intruders	2013-08-06	Paper
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols	2009-10-22	Paper
Secure Pseudonymous Channels	2009-10-16	Paper
Algebraic Intruder Deductions	2008-05-27	Paper
On the relationships between models in protocol verification	2008-04-16	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper

This page was built for person: Sebastian Mödersheim