Projects per year
Personal profile
Keywords
- Computer Science
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. & Nielsen, P. A.
01/12/2020 → 30/11/2023
Project: Research
-
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
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
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
Project: Research
-
Improving the Security of Infrastructure Software
Hansen, R. R. & Lawall, J.
Forskningsrådet for Teknologi og Produktion (FTP)
19/05/2008 → 18/05/2011
Project: Research
Research output
-
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, 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
-
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. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). IEEE, p. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
2 Citations (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. (eds.). Springer, p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
Prizes
-
EuroSys Test of Time Award
Lawall, Julia (Recipient), Muller, Gilles (Recipient), Hansen, Rene Rydhof (Recipient) & Padioleau, Yoann (Recipient), 2018
Prize: Conference prizes
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
-
Digitale elmålere kan give fremmede adgang til dine personlige data
28/12/2017
1 item of Media coverage
Press/Media: Press / Media
-
Apps har fri adgang til at følge dine bevægelser
24/02/2017
7 items of Media coverage
Press/Media: Press / Media