Research Output per year
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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
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 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 journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
38
Downloads
(Pure)
Projects
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A. & Lluch Lafuente, A.
01/07/2018 → 30/06/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 2019
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.