Photo of Sebastian Alexander Mödersheim
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20092022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Report
2018

Alpha-Beta Privacy

Mödersheim, S. A. & Viganò, L., 2018, DTU Compute. 46 p. (DTU Compute Technical Report-2018, Vol. 07).

Research output: Book/ReportReport

Open Access
File
249 Downloads (Pure)

A Typing Result for Stateful Protocols - Extended Version

Hess, A. V. & Mödersheim, S. A., 2018, DTU Compute. 48 p. (DTU Compute Technical Report-2018, Vol. 4).

Research output: Book/ReportReport

Open Access
File
55 Downloads (Pure)

Stateful Protocol Composition - Extended Version

Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2018, DTU Compute. 28 p. (DTU Compute Technical Report-2018, Vol. 3).

Research output: Book/ReportReport

Open Access
File
64 Downloads (Pure)

The LIGHTest Foundation

Mödersheim, S. A. & Schlichtkrull, A., 2018, Technical University of Denmark. 33 p. (DTU Compute Technical Report-2018, Vol. 6).

Research output: Book/ReportReport

Open Access
File
121 Downloads (Pure)
2015

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

Almousa, O., Mödersheim, S. A., Modesti, P. & Viganò, L., 2015, Kgs. Lyngby: Technical University of Denmark. 26 p. (DTU Compute-Technical Report-2015; No. 3).

Research output: Book/ReportReport

Open Access
File
93 Downloads (Pure)
2014

A Sound Abstraction of the Parsing Problem (Extended Version)

Mödersheim, S. A. & Katsoris, G., 2014, DTU Compute. 16 p. (DTU Compute-Technical Report-2014; No. 12).

Research output: Book/ReportReport

Open Access
File
113 Downloads (Pure)

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

Mödersheim, S. A. & Viganò, L., 2014, DTU Compute. 20 p. (DTU Compute-Technical Report-2014; No. 7).

Research output: Book/ReportReport

Open Access
File
94 Downloads (Pure)
2012

Deciding Security for a Fragment of ASLan

Mödersheim, S. A., 2012, Technical University of Denmark. 24 p. (D T U Compute. Technical Report; No. 2012-06).

Research output: Book/ReportReport

Open Access
File
124 Downloads (Pure)

Lazy Mobile Intruders

Mödersheim, S. A., Nielson, F. & Nielson, H. R., 2012, Kgs. Lyngby: Technical University of Denmark. 20 p. (D T U Compute. Technical Report; No. 2012-13).

Research output: Book/ReportReport

Open Access
File
148 Downloads (Pure)
2011

Diffie-Hellman without Difficulty (Extended Version)

Mödersheim, S. A., 2011, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-Technical Report-2011; No. 13).

Research output: Book/ReportReport

Open Access
File
86 Downloads (Pure)

Verifying SeVeCom Using Set-based Abstraction

Mödersheim, S. A. & Modesti, P., 2011, Kgs. Lyngby, Denmark: Technical University of Denmark, DTU Informatics, Building 321. (IMM-Technical Report-2011-01).

Research output: Book/ReportReport

Open Access
File
200 Downloads (Pure)
2010
Open Access
File
269 Downloads (Pure)