• Richard Petersens Plads, 321, 018

    2800 Kgs. Lyngby

    Denmark

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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions

    Fernet, L. P. K., Mödersheim, S. A. & Viganò, L., 2023, (Accepted/In press) Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024). IEEE, 35 p.

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

    File
    27 Downloads (Pure)
  • Private Authentication with Alpha-Beta Privacy

    Fernet, L. & Mödersheim, S., 2023, Proceedings of the Open Identity Summit 2023. Gesellschaft für Informatik e.V., p. 61-72

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    15 Downloads (Pure)
  • Stateful Protocol Composition in Isabelle/HOL

    Hess, A. V., Mödersheim, S. A. & Brucker, A. D., 2023, In: ACM Transactions on Privacy and Security. 26, 3, 35 p., 25.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    85 Downloads (Pure)
  • Privacy as Reachability

    Gondron, S., Mödersheim, S. & Viganò, L., 2022, Proceedings of the 2022 IEEE 35th Computer Security Foundations Symposium (CSF). IEEE, p. 130-146

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

  • 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