Projekter pr. år
Personlig profil
Emneord
- Datalogi
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
-
Foundations of Secure Resource Sharing
Askarov, A. (CoPI) & Hansen, R. R. (CoPI)
01/08/2025 → 31/07/2028
Projekter: Projekt › Forskning
-
Fuld-stak cybersikkerhed til forsvaret
Askarov, A. (CoPI), Hansen, R. R. (CoPI), Jensen, T. P. (CoPI) & Rafnsson, W. (CoPI)
Nationalt Forsvarsteknologisk Center (NFC)
Projekter: Projekt › Forskning
-
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. (CoPI) & Nielsen, P. A. (CoPI)
01/12/2020 → 30/11/2023
Projekter: Projekt › Forskning
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R. (Projektleder), David, A. (Projektdeltager), Hüttel, H. (Projektdeltager) & Larsen, K. G. (Projektdeltager)
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
Publikationer
-
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), s. 1731-1734 2 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil4 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. (red.). Springer, s. 136-151 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14952 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Navigating the landscape of security modelling: the MORS grid
Spencer, M., Coles-Kemp, L. & Hansen, R. R., 2024, I: Journal of Cybersecurity. 10, 1, tyae024.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil23 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 udg. Springer, s. 379-397 (Lecture Notes in Computer Science, Bind 15217).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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 okt. 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery (ACM), s. 45-59 15 s. (ACM International Conference Proceeding Series).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
6 Citationer (Scopus)
Priser
-
EuroSys Test of Time Award
Lawall, J. (Modtager), Muller, G. (Modtager), Hansen, R. R. (Modtager) & Padioleau, Y. (Modtager), 2018
Pris: Konferencepriser
Presse/medier
-
Crowdstrike-nedbrud udløser ordkrig mellem Microsoft og Delta Air Lines: Kommentarer er ''ufuldstændige, falske, vildledende og skadelige''
07/08/2024
1 element af Mediedækning
Presse/medie
-
IT-ekspert: Nedbrud er nok blanding af menneskelig fejl og systemfejl
19/07/2024 → 23/07/2024
3 elementer af Mediedækning
Presse/medie
-
Skal vi bekymre os om hackerangreb i Nordjylland? - Nej, lyder det fra en ekspert
05/03/2023 → 06/03/2023
5 elementer af Mediedækning
Presse/medie
-
IT-sikkerhed: Intelligente hjem kan være direkte adgang til privatlivet
13/09/2020
1 element af Mediedækning
Presse/medie
-