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

    2800 Kgs. Lyngby

    Denmark

20092020

Research output per year

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

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

Research Output

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 proceedingArticle in proceedingsResearchpeer-review

Open Access
File
9 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 journalJournal articleResearchpeer-review

Open Access
File
6 Downloads (Pure)

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 journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy

Gondron, S. P. C. & Mödersheim, S. A., 2019, Proceedings of 24th European Symposium on Research in Computer Security. Springer, p. 535-555 (Lecture Notes in Computer Science, Vol. 11735).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
11 Downloads (Pure)

GTPL: A graphical trust policy language

Mödersheim, S. A. & Ni, B., 1 Jan 2019, Proceedings of Open Identity Summit 2019. Rossnagel, H., Wagner, S. & Huhnlein, D. (eds.). Gesellschaft fur Informatik (GI), p. 107-118 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P-293).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
38 Downloads (Pure)

Projects

Activities

  • 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 eventParticipating in or organising workshops, courses, seminars etc.