René Rydhof Hansen

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 27

Top Topics

Security Policies

Embedded Systems

Top Venues

Semantics, Logics, and Calculi

Publications

Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
Isabelle-verified correctness of Datalog programs for program analysis. SAC (2024)
Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux
Modelling and Analysis of DTLS: Power Consumption and Attacks. FMICS (2024)
Ian Slesinger, Lizzie Coles-Kemp, Niki Panteli, René Rydhof Hansen
Designing Through The Stack: The Case for a Participatory Digital Security By Design. NSPW (2022)
Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN (2022)
Kaspar Hageman, Egon Kidmose, René Rydhof Hansen, Jens Myrup Pedersen
Understanding the Challenges of Blocking Unnamed Network Traffic. NOMS (2022)
Kaspar Hageman, Egon Kidmose, René Rydhof Hansen, Jens Myrup Pedersen
Can a TLS Certificate Be Phishy? SECRYPT (2021)
René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid
P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes. ICDCN (2021)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Benign Interaction of Security Domains. Protocols, Strands, and Logic (2021)
Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen, Danny Bøgsted Poulsen, Kim Guldstrand Larsen, René Rydhof Hansen, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec (2021)
Kaspar Hageman, René Rydhof Hansen, Jens Myrup Pedersen
Gollector: Measuring Domain Name Dark Matter from Different Vantage Points. NordSec (2021)
Thomas Kobber Panum, Kaspar Hageman, René Rydhof Hansen, Jens Myrup Pedersen
Towards Adversarial Phishing Detection. CSET @ USENIX Security Symposium (2020)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Adaptive Security Policies. ISoLA (2) (2020)
Lars Nielsen, René Rydhof Hansen, Daniel E. Lucani
A Multi-Threaded Approach to Encoding with Random Linear Network Coding. EW (2019)
Thomas Kobber Panum, René Rydhof Hansen, Jens Myrup Pedersen
Kraaler: A User-Perspective Web Crawler. TMA (2019)
Samvid Dharanikot, Michael Toft Jensen, Sebastian Rom Kristensen, Mathias Sass Michno, Yvonne-Anne Pignolet, René Rydhof Hansen, Stefan Schmid
Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons. Blockchain (2019)
Thomas Kobber Panum, Kaspar Hageman, Jens Myrup Pedersen, René Rydhof Hansen
Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education. ICALT (2019)
René Rydhof Hansen, Christian W. Probst
Modelling and Analysing Overlay Networks by Ambients with Wormholes. ICMU (2018)
Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid
Charting the Security Landscape of Programmable Dataplanes. CoRR (2018)
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao
Safety-critical Java for embedded systems. Concurr. Comput. Pract. Exp. 29 (22) (2017)
René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF (2017)
Lizzie Coles-Kemp, René Rydhof Hansen
Walking the Line: The Everyday Security Ties that Bind. HCI (22) (2017)
Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch
Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS (2016)
Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Modelling Attack-defense Trees Using Timed Automata. FORMATS (2016)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal modelling and analysis of Bitflips in ARM assembly code. Inf. Syst. Frontiers 18 (5) (2016)
Christian W. Probst, Florian Kammüller, René Rydhof Hansen
Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi (2016)
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Semantics, Logics, and Calculi (2016)
Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
Modelling Social-Technical Attacks with Timed Automata. MIST@CCS (2015)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Transforming Graphical System Models to Graphical Attack Models. GraMSec@CSF (2015)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Attack Tree Generation by Policy Invalidation. WISTP (2015)
Martin Leth Pedersen, Michael Hedegaard Sørensen, Daniel Lux, Ulrik Nyman, René Rydhof Hansen
The Timed Decentralised Label Model. NordSec (2015)
Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Model checking of finite-state machine-based scenario-aware dataflow using timed automata. SIES (2015)
Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS (2015)
René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen
Formal Methods for Modelling and Analysis of Single-Event Upsets. IRI (2015)
Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen
Battery-Aware Scheduling of Mixed Criticality Systems. ISoLA (2) (2014)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. 91 (2014)
Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen
Formalisation and analysis of Dalvik bytecode. Sci. Comput. Program. 92 (2014)
Christian W. Probst, René Rydhof Hansen
Model-based Abstraction of Data Provenance. TAPP (2014)
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard
Certifiable Java for Embedded Systems. JTRES (2014)
Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen
Worst-case memory consumption analysis for SCJ. JTRES (2013)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43 (1) (2013)
Christian W. Probst, René Rydhof Hansen
Reachability-based Impact as a Measure for Insiderness. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 4 (4) (2013)
Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Towards harnessing theories through tool support for hard real-time Java programming. Innov. Syst. Softw. Eng. 9 (1) (2013)
Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller
Externalizing Behaviour for Analysing System Models. J. Internet Serv. Inf. Secur. 3 (3/4) (2013)
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl
Private memory allocation analysis for safety-critical Java. JTRES (2012)
Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen
What is a Timing Anomaly?. WCET (2012)
Torben Jensen, Heine Pedersen, Mads Chr. Olesen, René Rydhof Hansen
THAPS: Automated Vulnerability Scanning of PHP Applications. NordSec (2012)
Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen
Adaptable Value-Set Analysis for Low-Level Code. SSV (2011)
Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm
Refactoring Real-Time Java Profiles. ISORC (2011)
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
opaal: A Lattice Model Checker. NASA Formal Methods (2011)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen
Formal Modelling and Analysis of Predictable Java. ERCIM News 2010 (81) (2010)
Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen
METAMOC: Modular Execution Time Analysis using Model Checking. WCET (2010)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75 (6) (2010)
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC (2010)
Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010 (83) (2010)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
Schedulability analysis for Java finalizers. JTRES (2010)
Thomas Bolander, René Rydhof Hansen
Hybrid logical analyses of the ambient calculus. Inf. Comput. 208 (5) (2010)
Christian W. Probst, René Rydhof Hansen
Fluid information systems. NSPW (2009)
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
A foundation for flow-based program matching: using temporal logic and model checking. POPL (2009)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN (2009)
Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard
A predictable Java profile: rationale and implementations. JTRES (2009)
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
Type Inference for Correspondence Types. Electron. Notes Theor. Comput. Sci. 242 (3) (2009)
Christian W. Probst, René Rydhof Hansen
Analysing Access Control Specifications. SADFE (2009)
Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller
Documenting and automating collateral evolutions in linux device drivers. EuroSys (2008)
René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst
Static Validation of Licence Conformance Policies. ARES (2008)
Neil D. Jones, René Rydhof Hansen
CTL as an Intermediate Language. VMCAI (2008)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION (2008)
Christian W. Probst, René Rydhof Hansen
An extensible analysable system model. Inf. Secur. Tech. Rep. 13 (4) (2008)
Neil D. Jones, René Rydhof Hansen
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. APLAS (2007)
Thomas Bolander, René Rydhof Hansen
Hybrid Logical Analyses of the Ambient Calculus. WoLLIC (2007)
Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller
Towards easing the diagnosis of bugs in OS code. PLOS@SOSP (2007)
Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen
Program Partitioning Using Dynamic Trust Models. Formal Aspects in Security and Trust (2006)
Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen
Locality-Based Security Policies. Formal Aspects in Security and Trust (2006)
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS (2006)
Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40 (3) (2006)
Christian W. Probst, René Rydhof Hansen, Flemming Nielson
Where Can an Insider Attack? Formal Aspects in Security and Trust (2006)
René Rydhof Hansen, Christian W. Probst, Flemming Nielson
Sandboxing in myKlaim. ARES (2006)
René Rydhof Hansen, Igor Siveroni
Towards Verification of Well-Formed Transactions in Java Card Bytecode. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl
The Succinct Solver Suite. TACAS (2004)
René Rydhof Hansen
A Hardest Attacker for Leaking References. ESOP (2004)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Abstract interpretation of mobile ambients. Sci. Comput. Program. 47 (2-3) (2003)
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
Validating firewalls using flow logics. Theor. Comput. Sci. 283 (2) (2002)
René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
Abstract Interpretation of Mobile Ambients. SAS (1999)
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
Validating Firewalls in Mobile Ambients. CONCUR (1999)