Projects per year
Personal profile
Keywords
- Computer Science
Fingerprint
- 1 Similar Profiles
Collaborations from the last five years
-
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
-
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
Research output
-
Isabelle-verified correctness of Datalog programs for program analysis
Schlichtkrull, A., Hansen, R. R. & Nielson, F., 2024, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. Association for Computing Machinery (ACM), p. 1731-1734 2 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File4 Downloads (Pure) -
Modelling and Analysis of DTLS: Power Consumption and Attacks
Gehlert, L. B., Jørgensen, M. P. H., Koch, C. B., Møller, T., Rusbjerg, S. K., Bøgedal, T. W., Poulsen, D. B., Hansen, R. R. & Lux, D., 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Springer, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14952 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Navigating the landscape of security modelling: the MORS grid
Spencer, M., Coles-Kemp, L. & Hansen, R. R., 2024, In: Journal of Cybersecurity. 10, 1, tyae024.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile23 Downloads (Pure) -
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code
Bøgedal, T. W., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., Dec 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. 1 ed. Springer, p. 379-397 (Lecture Notes in Computer Science, Vol. 15217).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Designing Through The Stack: The Case for a Participatory Digital Security By Design
Slesinger, I., Coles-Kemp, L., Panteli, N. & Hansen, R. R., 24 Oct 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery (ACM), p. 45-59 15 p. (ACM International Conference Proceeding Series).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
6 Citations (Scopus)
Prizes
-
EuroSys Test of Time Award
Lawall, J. (Recipient), Muller, G. (Recipient), Hansen, R. R. (Recipient) & Padioleau, Y. (Recipient), 2018
Prize: Conference prizes
Press/Media
-
Crowdstrike-nedbrud udløser ordkrig mellem Microsoft og Delta Air Lines: Kommentarer er ''ufuldstændige, falske, vildledende og skadelige''
07/08/2024
1 item of Media coverage
Press/Media: Press / Media
-
IT-ekspert: Nedbrud er nok blanding af menneskelig fejl og systemfejl
19/07/2024 → 23/07/2024
3 items of Media coverage
Press/Media: Press / Media
-
Skal vi bekymre os om hackerangreb i Nordjylland? - Nej, lyder det fra en ekspert
05/03/2023 → 06/03/2023
5 items of Media coverage
Press/Media: Press / Media
-
IT-sikkerhed: Intelligente hjem kan være direkte adgang til privatlivet
13/09/2020
1 item of Media coverage
Press/Media: Press / Media
-
Reklamenetværk sporer danskerne massivt på nettet
30/05/2018
1 item of Media coverage
Press/Media: Press / Media