• Richard Petersens Plads, 321, 018

    2800 Kgs. Lyngby

    Denmark

20092022

Research activity per year

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

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 16 - Peace, Justice and Strong Institutions

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.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Rewriting Privacy

    Mödersheim, S., 2022, Proceedings of 14th International Workshop Rewriting Logic and Its Applications. Bae, K. (ed.). Springer, p. 22-41 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13252 LNCS).

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

  • Adapting the TPL trust policy language for a self-sovereign identity world

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Gesellschaft fur Informatik (GI), p. 107-118 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)).

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

    Open Access
    File
    20 Downloads (Pure)
  • Deciding a Fragment of (α, β)-Privacy

    Fernet, L. P. K. & Mödersheim, S. A., 2021, Proceedings of 17th International Workshop on Security and Trust Management. 22 p.

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

    Open Access
    File
    30 Downloads (Pure)
  • Performing Security Proofs of Stateful Protocols

    Hess, A. V., Mödersheim, S. A., Brucker, A. D. & Schlichtkrull, A., 2021, Proceedings of 34th IEEE Computer Security Foundations Symposium. IEEE, 36 p.

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

    Open Access
    File
    72 Downloads (Pure)
  • Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

    Dougherty, D. (ed.), Meseguer, J. (ed.), Mödersheim, S. A. (ed.) & Rowe, P. (ed.), 2021, Springer. 425 p. (Lecture Notes in Computer Science, Vol. 13066).

    Research output: Book/ReportBookResearchpeer-review