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
Courses
Loading

Publications rss feed

2019
  PDF

GTPL

Mödersheim, Sebastian Alexander ; Ni, Bihang
part of: Proceedings of Open Identity Summit 2019, pages: 107-118, 2019, Gesellschaft fur Informatik (GI)
Presented at:
Open Identity Summit 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019

 

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, Springer
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

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, Springer
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, IEEE

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, Springer
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

  PDF

Stateful Protocol Composition - Extended Version

Hess, Andreas Viktor ; Mödersheim, Sebastian Alexander ; Brucker, Achim D.

Type: Report (Peer reviewed)

Status: Published     |    Year: 2018

  PDF

The LIGHTest Foundation

Mödersheim, Sebastian Alexander ; Schlichtkrull, Anders

Type: Report (Peer reviewed)

Status: Published     |    Year: 2018

2017
 

Formalizing and proving a typing result for security protocols in Isabelle/HOL

Hess, Andreas Viktor ; Modersheim, Sebastian
part of: Proceedings of 2017 IEEE 30th Computer Security Foundations Symposium, pages: 451-63, 2017, IEEE
Presented at:
2017 IEEE 30th Computer Security Foundations Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1109/CSF.2017.27