Research output per year
Research output per year
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
-
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 proceeding › Article in proceedings › Research › peer-review
Open AccessFile12 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 proceeding › Article in proceedings › Research › peer-review
Open AccessFile33 Downloads (Pure) -
rTLS: Secure and Efficient TLS Session Resumption for the Internet of Things
Tange, K. P., Mödersheim, S. A., Lalos, A., Fafoutis, X. & Dragoni, N., 2021, In: Sensors. 21, 21 p., 6524.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 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 AccessFile39 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 AccessFile53 Downloads (Pure)
-
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 14/02/2022
Project: PhD
-
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A., Lluch Lafuente, A., Villadsen, J., Guttman, J. D. & Sprenger, C.
01/07/2018 → 30/09/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.
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
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 2019Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.