Sebastian Mödersheim

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Programming Languages with Applications to Biology and Security	2016-01-08	Paper
Defining privacy is supposed to be easy Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
The ASW protocol revisited: a unified view	2013-09-25	Paper
Lazy mobile intruders Lecture Notes in Computer Science	2013-08-06	Paper
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols Foundations of Security Analysis and Design V	2009-10-22	Paper
Secure Pseudonymous Channels Computer Security – ESORICS 2009	2009-10-16	Paper
Algebraic Intruder Deductions Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
On the relationships between models in protocol verification Information and Computation	2008-04-16	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-05-02	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1903364 (Why is no real title available?)	2003-05-01	Paper

Research outcomes over time

This page was built for person: Sebastian Mödersheim