Validating Firewalls in Mobile Ambients. - Flemming Nielson; Hanne Riis Nielson; René Rydhof Hansen; Jacob Grydholt Jensen (CONCUR, 1999)

Abstract Interpretation of Mobile Ambients. - René Rydhof Hansen; Jacob Grydholt Jensen; Flemming Nielson; Hanne Riis Nielson (SAS, 1999)

Validating firewalls using flow logics. - Flemming Nielson; Hanne Riis Nielson; René Rydhof Hansen (Theor. Comput. Sci., 2002)

Abstract interpretation of mobile ambients. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (Sci. Comput. Program., 2003)

A Hardest Attacker for Leaking References. - René Rydhof Hansen (ESOP, 2004)

The Succinct Solver Suite. - Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl (TACAS, 2004)

Towards Verification of Well-Formed Transactions in Java Card Bytecode. - René Rydhof Hansen; Igor Siveroni (Bytecode@ETAPS, 2005)

Sandboxing in myKlaim. - René Rydhof Hansen; Christian W. Probst; Flemming Nielson (ARES, 2006)

Semantic patches for documenting and automating collateral evolutions in Linux device drivers. - Yoann Padioleau; René Rydhof Hansen; Julia L. Lawall; Gilles Muller (PLOS, 2006)

Where Can an Insider Attack? - Christian W. Probst; René Rydhof Hansen; Flemming Nielson (Formal Aspects in Security and Trust, 2006)

Program Partitioning Using Dynamic Trust Models. - Dan Søndergaard; Christian W. Probst; Christian Damsgaard Jensen; René Rydhof Hansen (Formal Aspects in Security and Trust, 2006)

Locality-Based Security Policies. - Terkel K. Tolstrup; Flemming Nielson; René Rydhof Hansen (Formal Aspects in Security and Trust, 2006)

Semantic patches considered helpful. - Gilles Muller; Yoann Padioleau; Julia L. Lawall; René Rydhof Hansen (ACM SIGOPS Oper. Syst. Rev., 2006)

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. - Neil D. Jones; René Rydhof Hansen (APLAS, 2007)

Towards easing the diagnosis of bugs in OS code. - Henrik Stuart; René Rydhof Hansen; Julia L. Lawall; Jesper Andersen; Yoann Padioleau; Gilles Muller (PLOS@SOSP, 2007)

Static Validation of Licence Conformance Policies. - René Rydhof Hansen; Flemming Nielson; Hanne Riis Nielson; Christian W. Probst (ARES, 2008)

Documenting and automating collateral evolutions in linux device drivers. - Yoann Padioleau; Julia Lawall; René Rydhof Hansen; Gilles Muller (EuroSys, 2008)

CTL as an Intermediate Language. - Neil D. Jones; René Rydhof Hansen (VMCAI, 2008)

Type Inference for Correspondence Types. - Andrew D. Gordon 001; Hans Hüttel; René Rydhof Hansen (SecCo@CONCUR, 2008)

An extensible analysable system model. - Christian W. Probst; René Rydhof Hansen (Inf. Secur. Tech. Rep., 2008)

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 (DSN, 2009)

A predictable Java profile: rationale and implementations. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2009)

Fluid information systems. - Christian W. Probst; René Rydhof Hansen (NSPW, 2009)

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 (POPL, 2009)

Analysing Access Control Specifications. - Christian W. Probst; René Rydhof Hansen (SADFE, 2009)

Finding Error Handling Bugs in OpenSSL Using Coccinelle. - Julia Lawall; Ben Laurie; René Rydhof Hansen; Nicolas Palix; Gilles Muller (EDCC, 2010)

Schedulability analysis for Java finalizers. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Bent Thomsen; Hans Søndergaard (JTRES, 2010)

METAMOC: Modular Execution Time Analysis using Model Checking. - Andreas Engelbredt Dalsgaard; Mads Chr. Olesen; Martin Toft; René Rydhof Hansen; Kim Guldstrand Larsen (WCET, 2010)

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. - Mads Chr. Olesen; René Rydhof Hansen; Julia L. Lawall; Nicolas Palix (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Formal Modelling and Analysis of Predictable Java. - Thomas Bøgholm; René Rydhof Hansen; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (ERCIM News, 2010)

Improving the Security of Infrastructure Software using Coccinelle. - Julia Lawall; René Rydhof Hansen; Nicolas Palix; Gilles Muller (ERCIM News, 2010)

Hybrid logical analyses of the ambient calculus. - Thomas Bolander; René Rydhof Hansen (Inf. Comput., 2010)

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 (Sci. Comput. Program., 2010)

Refactoring Real-Time Java Profiles. - Hans Søndergaard; Bent Thomsen; Anders P. Ravn; René Rydhof Hansen; Thomas Bøgholm (ISORC, 2011)

opaal: A Lattice Model Checker. - Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Kenneth Yrke Jørgensen; Kim Guldstrand Larsen; Mads Chr. Olesen; Petur Olsen; Jirí Srba (NASA Formal Methods, 2011)

Adaptable Value-Set Analysis for Low-Level Code. - Jörg Brauer; René Rydhof Hansen; Stefan Kowalewski; Kim G. Larsen; Mads Chr. Olesen (SSV, 2011)

Private memory allocation analysis for safety-critical Java. - Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Martin Schoeberl (JTRES, 2012)

THAPS: Automated Vulnerability Scanning of PHP Applications. - Torben Jensen; Heine Pedersen; Mads Chr. Olesen; René Rydhof Hansen (NordSec, 2012)

What is a Timing Anomaly?. - Franck Cassez; René Rydhof Hansen; Mads Chr. Olesen (WCET, 2012)

Worst-case memory consumption analysis for SCJ. - Jeppe L. Andersen; Mikkel Todberg; Andreas Engelbredt Dalsgaard; René Rydhof Hansen (JTRES, 2013)

Towards harnessing theories through tool support for hard real-time Java programming. - Thomas Bøgholm; Christian Frost; René Rydhof Hansen; Casper Svenning Jensen; Kasper Søe Luckow; Anders P. Ravn; Hans Søndergaard; Bent Thomsen (Innov. Syst. Softw. Eng., 2013)

Externalizing Behaviour for Analysing System Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (J. Internet Serv. Inf. Secur., 2013)

Reachability-based Impact as a Measure for Insiderness. - Christian W. Probst; René Rydhof Hansen (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2013)

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (Softw. Pract. Exp., 2013)

Battery-Aware Scheduling of Mixed Criticality Systems. - Erik Ramsgaard Wognsen; René Rydhof Hansen; Kim Guldstrand Larsen (ISoLA (2), 2014)

Certifiable Java for Embedded Systems. - 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 (JTRES, 2014)

Model-based Abstraction of Data Provenance. - Christian W. Probst; René Rydhof Hansen (TAPP, 2014)

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. - Mads Chr. Olesen; René Rydhof Hansen; Julia L. Lawall; Nicolas Palix (Sci. Comput. Program., 2014)

Formalisation and analysis of Dalvik bytecode. - Erik Ramsgaard Wognsen; Henrik Søndberg Karlsen; Mads Chr. Olesen; René Rydhof Hansen (Sci. Comput. Program., 2014)

Modelling Social-Technical Attacks with Timed Automata. - Nicolas David 002; Alexandre David; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Christian W. Probst (MIST@CCS, 2015)

Transforming Graphical System Models to Graphical Attack Models. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (GraMSec@CSF, 2015)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. - Erik Ramsgaard Wognsen; Boudewijn R. Haverkort; Marijn R. Jongerden; René Rydhof Hansen; Kim Guldstrand Larsen (FORMATS, 2015)

Formal Methods for Modelling and Analysis of Single-Event Upsets. - René Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen (IRI, 2015)

The Timed Decentralised Label Model. - Martin Leth Pedersen; Michael Hedegaard Sørensen; Daniel Lux; Ulrik Nyman; René Rydhof Hansen (NordSec, 2015)

Model checking of finite-state machine-based scenario-aware dataflow using timed automata. - Mladen Skelin; Erik Ramsgaard Wognsen; Mads Chr. Olesen; René Rydhof Hansen; Kim Guldstrand Larsen (SIES, 2015)

Attack Tree Generation by Policy Invalidation. - Marieta Georgieva Ivanova; Christian W. Probst; René Rydhof Hansen; Florian Kammüller (WISTP, 2015)

An Automata-Based Approach to Trace Partitioned Abstract Interpretation. - Mads Christian Olesen; René Rydhof Hansen; Kim Guldstrand Larsen (Semantics, Logics, and Calculi, 2016)

Formal Modelling and Analysis of Socio-Technical Systems. - Christian W. Probst; Florian Kammüller; René Rydhof Hansen (Semantics, Logics, and Calculi, 2016)

Energy-aware scheduling of FIR filter structures using a timed automata model. - Erik Ramsgaard Wognsen; René Rydhof Hansen; Kim Guldstrand Larsen; Peter Koch 001 (DDECS, 2016)

Modelling Attack-defense Trees Using Timed Automata. - Olga Gadyatskaya; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Danny Bøgsted Poulsen (FORMATS, 2016)

Formal modelling and analysis of Bitflips in ARM assembly code. - René Rydhof Hansen; Kim Guldstrand Larsen; Mads Chr. Olesen; Erik Ramsgaard Wognsen (Inf. Syst. Frontiers, 2016)

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. - René Rydhof Hansen; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (GraMSec@CSF, 2017)

Walking the Line: The Everyday Security Ties that Bind. - Lizzie Coles-Kemp; René Rydhof Hansen (HCI (22), 2017)

Safety-critical Java for embedded systems. - 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 004 (Concurr. Comput. Pract. Exp., 2017)

Modelling and Analysing Overlay Networks by Ambients with Wormholes. - René Rydhof Hansen; Christian W. Probst (ICMU, 2018)

Charting the Security Landscape of Programmable Dataplanes. - Andrei-Alexandru Agape; Madalin Claudiu Danceanu; René Rydhof Hansen; Stefan Schmid 001 (CoRR, 2018)

Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons. - Samvid Dharanikot; Michael Toft Jensen; Sebastian Rom Kristensen; Mathias Sass Michno; Yvonne-Anne Pignolet; René Rydhof Hansen; Stefan Schmid 001 (Blockchain, 2019)

A Multi-Threaded Approach to Encoding with Random Linear Network Coding. - Lars Nielsen; René Rydhof Hansen; Daniel E. Lucani (EW, 2019)

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education. - Thomas Kobber Panum; Kaspar Hageman; Jens Myrup Pedersen; René Rydhof Hansen (ICALT, 2019)

Kraaler: A User-Perspective Web Crawler. - Thomas Kobber Panum; René Rydhof Hansen; Jens Myrup Pedersen (TMA, 2019)

Adaptive Security Policies. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (ISoLA (2), 2020)

Towards Adversarial Phishing Detection. - Thomas Kobber Panum; Kaspar Hageman; René Rydhof Hansen; Jens Myrup Pedersen (CSET @ USENIX Security Symposium, 2020)

Benign Interaction of Security Domains. - Flemming Nielson; René Rydhof Hansen; Hanne Riis Nielson (Protocols, Strands, and Logic, 2021)

P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes. - Andrei-Alexandru Agape; Madalin Claudiu Danceanu; René Rydhof Hansen; Stefan Schmid 001 (ICDCN, 2021)

Gollector: Measuring Domain Name Dark Matter from Different Vantage Points. - Kaspar Hageman; René Rydhof Hansen; Jens Myrup Pedersen (NordSec, 2021)

Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. - 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 (NordSec, 2021)

Can a TLS Certificate Be Phishy? - Kaspar Hageman; Egon Kidmose; René Rydhof Hansen; Jens Myrup Pedersen (SECRYPT, 2021)

ADTLang: a programming language approach to attack defense trees. - René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Peter Gjøl Jensen; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 2021)

Understanding the Challenges of Blocking Unnamed Network Traffic. - Kaspar Hageman; Egon Kidmose; René Rydhof Hansen; Jens Myrup Pedersen (NOMS, 2022)

Designing Through The Stack: The Case for a Participatory Digital Security By Design. - Ian Slesinger; Lizzie Coles-Kemp; Niki Panteli; René Rydhof Hansen (NSPW, 2022)

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. - Shiraj Arora; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 2022)

Modelling and Analysis of DTLS: Power Consumption and Attacks. - 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 (FMICS, 2024)

Isabelle-verified correctness of Datalog programs for program analysis. - Anders Schlichtkrull; René Rydhof Hansen; Flemming Nielson (SAC, 2024)

Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. - Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (AISoLA, 2024)

Navigating the landscape of security modelling: the MORS grid. - Matt Spencer; Lizzie Coles-Kemp; René Rydhof Hansen (J. Cybersecur., 2024)

Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. - Andreas Kjeldgaard Brandhøj; Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Danny Bøgsted Poulsen (FMICS, 2025)

The downgrading semantics of memory safety. - René Rydhof Hansen; Andreas Stenbæk Larsen; Aslan Askarov (CoRR, 2025)