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

2016
  PDF

Security Protocols: Specification, Verification, Implementation, and Composition

Almousa, Omar ; Mödersheim, Sebastian Alexander (Supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 164

Type: Ph.D. thesis

Status: Published     |    Year: 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) (ISBN: 978-3-662-49634-3), pages: 233-253, 2016, Springer,
Presented at:
5th International Conference on Principles of Security and Trust, 2016, Eindhoven

Type: Article in proceedings (Peer reviewed)

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

 

Security protocol specification and verification with AnBx

Bugliesi, Michele ; Calzavara, Stefano ; Mödersheim, Sebastian Alexander ; Modesti, Paolo
in journal: Journal of Information Security and Applications (ISSN: 2214-2126) (DOI: http://dx.doi.org/10.1016/j.jisa.2016.05.004), vol: 30, pages: 46-63, 2016

Type: Journal article (Peer reviewed)

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

2015
  PDF

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version)

Almousa, Omar ; Mödersheim, Sebastian Alexander ; Modesti, Paolo ; Viganò, Luca
Publisher: Technical University of Denmark (DTU), Report name: Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment (Extended Version), pages: 26

Type: Report

Status: Published     |    Year: 2015

  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) (ISBN: 978-1-4673-7538-2), pages: 185-198, 2015, IEEE,
Presented at:
28th IEEE Computer Security Foundations Symposium (CSF 2015), 2015, Verona

Type: Article in proceedings (Peer reviewed)

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

  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 (ISBN: 978-3-319-25526-2), pages: 66-85, 2015, Springer,

Type: Book chapter (Peer reviewed)

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

  PDF

Typing and compositionality for security protocols: A generalization to the geometric fragment

Almousa, Omar ; Mödersheim, Sebastian Alexander ; Modesti, Paolo ; Viganò, Luca
part of: Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS 2015) (ISBN: 978-3-319-24176-0), pages: 209-229, 2015, Springer,
Presented at:
20th European Symposium on Research in Computer Security (ESORICS 2015), 2015, Vienna

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-24177-7_11

2014
  PDF

Sufficient Conditions for Vertical Composition of Security Protocols (Extended Version)

Mödersheim, Sebastian Alexander ; Viganò, Luca
Publisher: DTU Compute, Report name: Sufficient Conditions for Vertical Composition of Security Protocols (Extended Version), pages: 20

Type: Report

Status: Published     |    Year: 2014

  PDF

A Sound Abstraction of the Parsing Problem (Extended Version)

Mödersheim, Sebastian Alexander ; Katsoris, Georgios
Publisher: DTU Compute, Report name: A Sound Abstraction of the Parsing Problem (Extended Version), Number: Compositional reasoning, pages: 16

Type: Report

Status: Published     |    Year: 2014

 

Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus

Bruni, Alessandro ; Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014 (ISBN: 978-3-319-11598-6), pages: 281-282, 2014, Springer,
Presented at:
19th Nordic Conference on Secure IT Systems (NordSec 2014), 2014, Tromsø

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: http://dx.doi.org/10.1007/978-3-319-11599-3