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
 

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

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

Type: Journal article (Peer reviewed)

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

2015
  PDF

Alice and Bob: Reconciling Formal Models and Implementation

Almousa, Omar ; Mödersheim, Sebastian Alexander ; Viganò, Luca
part of: Programming Languages with Applications to Biology and Security, pages: 66-85, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-25527-9_7

  PDF

Set-Pi: Set Membership pi-Calculus

Bruni, Alessandro ; Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF 2015), pages: 185-198, 2015, IEEE
Presented at:
28th IEEE Computer Security Foundations Symposium (CSF 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1109/CSF.2015.20