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
DTU news
Loading

Publications rss feed

2018
  PDF

Alpha-Beta Privacy

Mödersheim, Sebastian Alexander ; Viganò, Luca

Type: Report (Peer reviewed)

Status: Published     |    Year: 2018

 

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

 

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

2016
 

AIF-ω: Set-Based Protocol Abstraction with Countable Families

Mödersheim, Sebastian Alexander ; Bruni, Alessandro
part of: Proceedings of the 5th International Conference on Principles of Security and Trust (POST 2016), pages: 233-253, 2016, Springer
Presented at:
5th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/978-3-662-49635-0_12

  PDF

Security protocol specification and verification with AnBx

Bugliesi, Michele ; Calzavara, Stefano ; Mödersheim, Sebastian Alexander ; Modesti, Paolo
in: Journal of Information Security and Applications, vol: 30, pages: 46-63

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1016/j.jisa.2016.05.004