Projekter pr. år
Personlig profil
Emneord
- Datalogi
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
-
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. & Nielsen, P. A.
01/12/2020 → 30/11/2023
Projekter: Projekt › Forskning
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning
-
Improving the Security of Infrastructure Software
Hansen, R. R. & Lawall, J.
Forskningsrådet for Teknologi og Produktion (FTP)
19/05/2008 → 18/05/2011
Projekter: Projekt › Forskning
Publikationer
-
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, s. 45-59 15 s. (ACM International Conference Proceeding Series).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Understanding the Challenges of Blocking Unnamed Network Traffic.
Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (red.). IEEE, s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
ADTLANG: A Programming Language Approach to Attack Defense Trees
Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 jan. 2021, I: International Journal on Software Tools for Technology Transfer. 23, 1, s. 89-104 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
Benign Interaction of Security Domains
Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (red.). Springer, s. 312-331 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13066 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
Priser
-
EuroSys Test of Time Award
Lawall, Julia (Modtager), Muller, Gilles (Modtager), Hansen, Rene Rydhof (Modtager) & Padioleau, Yoann (Modtager), 2018
Pris: Konferencepriser
Presse/medier
-
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
-
-
Digitale elmålere kan give fremmede adgang til dine personlige data
28/12/2017
1 element af Mediedækning
Presse/medie
-