Ren Rydhof Hansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
29
Active years
1999–2025
Best venue rank
A*
Where they publish
- CFMICS2 papers
- CNSPW2 papers
- CISoLA2 papers
- MulticonferenceSAC1 paper
- CVECoS1 paper
- BNOMS1 paper
- NationalICDCN1 paper
- CSECRYPT1 paper
- BICALT1 paper
- NationalHCI1 paper
- CDDECS1 paper
- A*CCS1 paper
- NationalIRI1 paper
- CWISTP1 paper
- CISORC1 paper
- UnrankedEDCC1 paper
- ADSN1 paper
- A*POPL1 paper
- CCoordination1 paper
- AEuroSys1 paper
- BVMCAI1 paper
- BAPLAS1 paper
- A*SOSP1 paper
- CWoLLIC1 paper
- A*ASPLOS1 paper
- AESOP1 paper
- ATACAS1 paper
- BCONCUR1 paper
- BSAS1 paper
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. | Andreas Kjeldgaard Brandhj, Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Danny Bgsted Poulsen |
| 2024 | FMICS | Modelling and Analysis of DTLS: Power Consumption and Attacks. | Lise Bech Gehlert, Malthe Peter Hjen Jrgensen, Christoffer Brejnholm Koch, Tobias Mller, Signe Kirstine Rusbjerg, Tobias Worm Bgedal, Danny Bgsted Poulsen, Ren Rydhof Hansen, Daniel Lux |
| 2024 | SAC | Isabelle-verified correctness of Datalog programs for program analysis. | Anders Schlichtkrull, Ren Rydhof Hansen, Flemming Nielson |
| 2024 | VECoS | Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. | Tobias Worm Bgedal, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bgsted Poulsen |
| 2022 | NOMS | Understanding the Challenges of Blocking Unnamed Network Traffic. | Kaspar Hageman, Egon Kidmose, Ren Rydhof Hansen, Jens Myrup Pedersen |
| 2022 | NSPW | Designing Through The Stack: The Case for a Participatory Digital Security By Design. | Ian Slesinger, Lizzie Coles-Kemp, Niki Panteli, Ren Rydhof Hansen |
| 2021 | ICDCN | P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes. | Andrei-Alexandru Agape, Madalin Claudiu Danceanu, Ren Rydhof Hansen, Stefan Schmid |
| 2021 | SECRYPT | Can a TLS Certificate Be Phishy? | Kaspar Hageman, Egon Kidmose, Ren Rydhof Hansen, Jens Myrup Pedersen |
| 2020 | ISoLA | Adaptive Security Policies. | Flemming Nielson, Ren Rydhof Hansen, Hanne Riis Nielson |
| 2019 | ICALT | Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education. | Thomas Kobber Panum, Kaspar Hageman, Jens Myrup Pedersen, Ren Rydhof Hansen |
| 2017 | HCI | Walking the Line: The Everyday Security Ties that Bind. | Lizzie Coles-Kemp, Ren Rydhof Hansen |
| 2016 | DDECS | Energy-aware scheduling of FIR filter structures using a timed automata model. | Erik Ramsgaard Wognsen, Ren Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch |
| 2015 | CCS | Modelling Social-Technical Attacks with Timed Automata. | Nicolas David, Alexandre David, Ren Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst |
| 2015 | IRI | Formal Methods for Modelling and Analysis of Single-Event Upsets. | Ren Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen |
| 2015 | WISTP | Attack Tree Generation by Policy Invalidation. | Marieta Georgieva Ivanova, Christian W. Probst, Ren Rydhof Hansen, Florian Kammller |
| 2014 | ISoLA | Battery-Aware Scheduling of Mixed Criticality Systems. | Erik Ramsgaard Wognsen, Ren Rydhof Hansen, Kim Guldstrand Larsen |
| 2011 | ISORC | Refactoring Real-Time Java Profiles. | Hans Sndergaard, Bent Thomsen, Anders P. Ravn, Ren Rydhof Hansen, Thomas Bgholm |
| 2010 | EDCC | Finding Error Handling Bugs in OpenSSL Using Coccinelle. | Julia Lawall, Ben Laurie, Ren Rydhof Hansen, Nicolas Palix, Gilles Muller |
| 2009 | DSN | WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. | Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren Rydhof Hansen, Henrik Stuart, Gilles Muller |
| 2009 | NSPW | Fluid information systems. | Christian W. Probst, Ren Rydhof Hansen |
| 2009 | POPL | A foundation for flow-based program matching: using temporal logic and model checking. | Julien Brunel, Damien Doligez, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2008 | Coordination | From Flow Logic to Static Type Systems for Coordination Languages. | Rocco De Nicola, Daniele Gorla, Ren Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2008 | EuroSys | Documenting and automating collateral evolutions in linux device drivers. | Yoann Padioleau, Julia Lawall, Ren Rydhof Hansen, Gilles Muller |
| 2008 | VMCAI | CTL as an Intermediate Language. | Neil D. Jones, Ren Rydhof Hansen |
| 2007 | APLAS | The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. | Neil D. Jones, Ren Rydhof Hansen |
| 2007 | SOSP | Towards easing the diagnosis of bugs in OS code. | Henrik Stuart, Ren Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller |
| 2007 | WoLLIC | Hybrid Logical Analyses of the Ambient Calculus. | Thomas Bolander, Ren Rydhof Hansen |
| 2006 | ASPLOS | Semantic patches for documenting and automating collateral evolutions in Linux device drivers. | Yoann Padioleau, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2004 | ESOP | A Hardest Attacker for Leaking References. | Ren Rydhof Hansen |
| 2004 | TACAS | The Succinct Solver Suite. | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, Ren Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
| 1999 | CONCUR | Validating Firewalls in Mobile Ambients. | Flemming Nielson, Hanne Riis Nielson, Ren Rydhof Hansen, Jacob Grydholt Jensen |
| 1999 | SAS | Abstract Interpretation of Mobile Ambients. | Ren Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |