Sebastian Alexander Mödersheim

Sebastian Alexander Mödersheim

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Activities
Courses
Loading

Publications rss feed

2020
  PDF

Accountable Trust Decisions: A Semantic Approach

Schlichtkrull, Anders ; Mödersheim, Sebastian Alexander
part of: Open Identity Summit 2020, pages: 71-82, 2020
Presented at:
Open Identity Summit 2020

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.18420/ois2020_06

  PDF

Automated Stateful Protocol Verification

Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander ; Brucker, Achim D. ; Schlichtkrull, Anders
in: Archive of Formal Proofs

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2020

  PDF

Stateful Protocol Composition and Typing

Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander ; Brucker, Achim D.
in: Archive of Formal Proofs

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2020

2019
  PDF

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy

Gondron, Sébastien Pierre Christophe ; Mödersheim, Sebastian Alexander
part of: Proceedings of 24th European Symposium on Research in Computer Security, pages: 535-555, 2019
Presented at:
The European Symposium on Research in Computer Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-29959-0_26

  PDF

GTPL

Mödersheim, Sebastian Alexander ; Ni, Bihang
part of: Proceedings of Open Identity Summit 2019, pages: 107-118, 2019
Presented at:
Open Identity Summit 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019

  PDF

TPL: A Trust Policy Language

Mödersheim, Sebastian Alexander ; Schlichtkrull, Anders ; Wagner, Georg ; More, Stefan ; Alber, Lukas
part of: Trust Management XIII, pages: 209-223, 2019
Presented at:
13th IFIP WG 11.11 International Conference on Trust Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-33716-2_16

2018
  PDF

Alpha-Beta Privacy

Mödersheim, Sebastian Alexander ; Viganò, Luca

Type: Report (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1145/3289255

 

A Typing Result for Stateful Protocols

Hess, Andreas Viktor ; Modersheim, Sebastian
part of: 2018 IEEE 31st Computer Security Foundations Symposium, pages: 374-388, 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1109/CSF.2018.00034

  PDF

A Typing Result for Stateful Protocols - Extended Version

Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander

Type: Report (Peer reviewed)

Status: Published     |    Year: 2018

  PDF

Stateful Protocol Composition

Hess, Andreas Viktor ; Mödersheim, Sebastian A. ; Brucker, Achim D.
part of: ESORICS 2018: Computer Security , pages: 427-446, 2018
Presented at:
23rd European Symposium on Research in Computer Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99073-6_21