Sebastian Alexander Mödersheim

Associate Professor, Department of Applied Mathematics and Computer Science
Formal Methods

Phone45253734
Emailsamo@dtu.dk
Websitehttp://people.compute.dtu.dk/samo, http://www.compute.dtu.dk

Richard Petersens Plads, 324, 180
2800 Kgs. Lyngby
Denmark

Research activity per year

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

Fingerprint

Dive into the research topics where Sebastian Alexander Mödersheim is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

8 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

26 Article in proceedings
12 Report
4 Journal article
2 Book chapter
More
- 1 Book
- 1 Editorial

Performing Security Proofs of Stateful Protocols
Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2021, (Accepted/In press) Proceedings of 34^th IEEE Computer Security Foundations Symposium. IEEE, 36 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
9 Downloads (Pure)
Accountable Trust Decisions: A Semantic Approach
Schlichtkrull, A. & Mödersheim, S. A., 2020, Open Identity Summit 2020. Roßnagel, H., Schunck, C. H., Mödersheim, S. A. & Hühnlein, D. (eds.). Gesellschaft für Informatik e.V., p. 71-82 (Lecture Notes in Informatics, Vol. P305).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
34 Downloads (Pure)
Automated Stateful Protocol Verification
Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2020, In : Archive of Formal Proofs. 261 p.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
34 Downloads (Pure)
HotSpot: Hot Issues in Security Principles and Trust 2020
Guttman, J. & Modersheim, S., 2020, Proceedings of 2020 IEEE European Symposium on Security and Privacy Workshops . IEEE, p. 260-260 (2020 Ieee European Symposium on Security and Privacy Workshops (euros&pw)).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Stateful Protocol Composition and Typing
Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2020, In : Archive of Formal Proofs. 401 p.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
21 Downloads (Pure)

2 Active
6 Finished

Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A. & Lluch Lafuente, A.
Grundforskningsfonden
01/07/2018 → 30/06/2021
Project: PhD
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
Forskningsrådsfinansiering
01/10/2015 → 12/12/2018
Project: PhD
Formalization of Algorithms and Logical inference Systems in Proof Assistants
Schlichtkrull, A., Villadsen, J., Blanchette, J. C., Bolander, T., Mödersheim, S. A., Bengtson, J. & Nipkow, T.
Technical University of Denmark
15/09/2015 → 14/11/2018
Project: PhD
Trusted Cryptography
Kölbl, S., Rechberger, C., Knudsen, L. R., Mödersheim, S. A., Rijmen, V. & Johansson, T.
Eksternt finansieret virksomhed
01/12/2013 → 12/12/2016
Project: PhD

1 Participating in or organising workshops, courses, seminars etc.

Øresund Security Day 2019
Andreas Viktor Hess (Organizer), Anders Schlichtkrull (Organizer) & Sebastian Alexander Mödersheim (Organizer)
22 May 2019
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.