Projects per year
Search results
-
Not started
Foundations of Secure Resource Sharing
Askarov, A. (CoPI) & Hansen, R. R. (CoPI)
Independent Research Fund Denmark
01/08/2025 → 31/07/2028
Project: Research
-
Full-Stack Cybersecurity for Danish Defense
Askarov, A. (CoPI), Hansen, R. R. (CoPI), Jensen, T. P. (CoPI) & Rafnsson, W. (CoPI)
Nationalt Forsvarsteknologisk Center (NFC)
Project: Research
-
Finished
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. (CoPI) & Nielsen, P. A. (CoPI)
01/12/2020 → 30/11/2023
Project: Research
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R. (Project Manager), David, A. (Project Participant), Hüttel, H. (Project Participant) & Larsen, K. G. (Project Participant)
01/11/2012 → 31/12/2016
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Project Manager), Hansen, R. R. (Project Participant), Koch, P. (Project Participant), Nielsen, B. (Project Participant) & Skou, A. (Project Participant)
01/10/2012 → 30/09/2015
Project: Research
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R. (Project Applicant), Ravn, A. P. (Project Applicant) & Larsen, K. G. (Project Applicant)
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Project: Research
-
Improving the Security of Infrastructure Software
Hansen, R. R. (Project Applicant) & Lawall, J. (Project Licensee)
Forskningsrådet for Teknologi og Produktion (FTP)
19/05/2008 → 18/05/2011
Project: Research
-
COST Action IC0701Formal Verification of Object-Oriented Software
Thomsen, B. (Project Participant), Hansen, R. R. (Project Participant) & Thomsen, L. L. (Project Participant)
11/03/2008 → 10/03/2012
Project: Research