Research output per year
Research output per year
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):
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
-
Accountable Banking Transactions
Mödersheim, S. & Chen, S., 2024, Proceedings of the Open Identity Summit 2024. Gesellschaft fur Informatik (GI), Vol. P-350. p. 51-60 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile6 Downloads (Pure) -
A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions
Fernet, L. P. K., Mödersheim, S. A. & Viganò, L., 2024, Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024). IEEE, p. 17-32Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
File56 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-72Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile84 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 journal › Journal article › Research › peer-review
Open AccessFile184 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-146Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Secure TaRDIS
Lund, S. T. (PhD Student), Mödersheim, S. A. (Main Supervisor), Scalas, A. (Supervisor) & Villadsen, J. (Supervisor)
01/08/2023 → 31/07/2026
Project: PhD
-
TaRDIS: safe and reliable applications on the cloud-edge continuum
Hussein, A. (PhD Student), Scalas, A. (Main Supervisor) & Mödersheim, S. A. (Supervisor)
01/05/2023 → 30/04/2026
Project: PhD
-
A Logical Approach for Automated Reasoning About Privacy in Security Protocols
Fernet, L. P. K. (PhD Student), Mödersheim, S. A. (Main Supervisor), Viganò, L. (Supervisor), Escobar, S. (Examiner) & Sasse, R. (Examiner)
01/12/2021 → 30/11/2024
Project: PhD
-
Logical Foundations of Al Algorithms
Jensen, A. B. (PhD Student), Traytel, D. (Examiner), Villadsen, J. (Main Supervisor), Mödersheim, S. A. (Supervisor) & Dix, J. (Examiner)
01/02/2019 → 09/06/2022
Project: PhD
-
Vertical Composition of Distributed Systems
Gondron, S. P. C. (PhD Student), Guttman, J. D. (Examiner), Sprenger, C. (Examiner), Mödersheim, S. A. (Main Supervisor) & Lluch Lafuente, A. (Supervisor)
01/07/2018 → 30/09/2021
Project: PhD
Activities
- 1 Participating in or organising workshops, courses, seminars etc.
-
Øresund Security Day 2019
Hess, A. V. (Organizer), Schlichtkrull, A. (Organizer) & Mödersheim, S. A. (Organizer)
22 May 2019Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.