Projects per year
Search results
-
Active
A Logical Approach for Automated Reasoning About Privacy in Security Protocols
Fernet, L. P. K., Mödersheim, S. A. & Viganò, L.
01/12/2021 → 30/11/2024
Project: PhD
-
Finished
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J., Mödersheim, S. A., Gierasimczuk, N., Dix, J. & Traytel, D.
01/02/2019 → 09/06/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., Mödersheim, S. A., Rijmen, V., Johansson, T. & Knudsen, L. R.
Eksternt finansieret virksomhed
01/12/2013 → 12/12/2016
Project: PhD
-
Modeling and Verifying eID Protocols (Future ID)
Almousa, O., Mödersheim, S. A., Lluch Lafuente, A., Brucker, A. D., Sprenger, C. & Nielson, H. R.
15/12/2012 → 24/02/2016
Project: PhD
-
Static Analysis for Model Checking
Terepeta, M. T., Nielson, F., Mödersheim, S. A., Cortesi, A., Jensen, T. & Nielson, H. R.
01/08/2010 → 25/10/2013
Project: PhD
-
Attacker Models for Ubiquitous Computing
Papini, D., Jensen, C. D., Mödersheim, S. A., Skou, A. J. & Sharp, R.
Technical University of Denmark
01/10/2009 → 24/05/2013
Project: PhD