Projects per year
Projects
Active
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
Finished
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
Modeling and Verifying eID Protocols (Future ID)
Almousa, O., Mödersheim, S. A., Nielson, H. R., Lluch Lafuente, A., Brucker, A. D. & Sprenger, C.
15/12/2012 → 24/02/2016
Project: PhD
Static Analysis for Model Checking
Terepeta, M. T., Nielson, H. R., Nielson, F., Mödersheim, S. A., Cortesi, A. & Jensen, T.
01/08/2010 → 25/10/2013
Project: PhD
Attacker Models for Ubiquitous Computing
Papini, D., Sharp, R., Jensen, C. D., Mödersheim, S. A. & Skou, A. J.
Technical University of Denmark
01/10/2009 → 24/05/2013
Project: PhD