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
Report

Alpha-Beta Privacy

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

Research output: Book/ReportReportResearchpeer-review

Open Access
File
290 Downloads (Pure)

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/ReportReportResearch

Open Access
File
116 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/ReportReportResearchpeer-review

Open Access
File
61 Downloads (Pure)

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/ReportReportResearch

Open Access
File
153 Downloads (Pure)

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/ReportReportResearch

Open Access
File
88 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/ReportReportResearch

Open Access
File
160 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/ReportReportResearchpeer-review

Open Access
File
72 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/ReportReportResearch

Open Access
File
101 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/ReportReportResearchpeer-review

Open Access
File
138 Downloads (Pure)

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/ReportReportResearch

Open Access
File
96 Downloads (Pure)

Verification Based on Set-Abstraction Using the AIF Framework

Mödersheim, S. A., 2010, Kgs. Lyngby: Technical University of Denmark, DTU Informatics, Building 321. (IMM-Technical Report-2010-09).

Research output: Book/ReportReportResearch

Open Access
File
279 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/ReportReportResearch

Open Access
File
227 Downloads (Pure)