René Rydhof Hansen

According to our database, René Rydhof Hansen authored at least 81 papers between 1999 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Designing Through The Stack: The Case for a Participatory Digital Security By Design.

Ian Slesinger, Lizzie Coles-Kemp, Niki Panteli, René Rydhof Hansen

Proceedings of the 2022 New Security Paradigms Workshop, 2022

Understanding the Challenges of Blocking Unnamed Network Traffic.

Kaspar Hageman, Egon Kidmose, René Rydhof Hansen, Jens Myrup Pedersen

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

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

Can a TLS Certificate Be Phishy?

Kaspar Hageman, Egon Kidmose, René Rydhof Hansen, Jens Myrup Pedersen

Proceedings of the 18th International Conference on Security and Cryptography, 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

Proceedings of the Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, 2021

Gollector: Measuring Domain Name Dark Matter from Different Vantage Points.

Kaspar Hageman, René Rydhof Hansen, Jens Myrup Pedersen

Proceedings of the Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, 2021

P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes.

Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Benign Interaction of Security Domains.

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Towards Adversarial Phishing Detection.

Thomas Kobber Panum, Kaspar Hageman, René Rydhof Hansen, Jens Myrup Pedersen

Proceedings of the 13th USENIX Workshop on Cyber Security Experimentation and Test, 2020

Adaptive Security Policies.

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Kraaler: A User-Perspective Web Crawler.

Thomas Kobber Panum, René Rydhof Hansen, Jens Myrup Pedersen

Proceedings of the Network Traffic Measurement and Analysis Conference, 2019

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education.

Thomas Kobber Panum, Kaspar Hageman, Jens Myrup Pedersen, René Rydhof Hansen

Proceedings of the 19th IEEE International Conference on Advanced Learning Technologies, 2019

A Multi-Threaded Approach to Encoding with Random Linear Network Coding.

Lars Nielsen, René Rydhof Hansen, Daniel E. Lucani

Proceedings of the 25th European Wireless Conference, 2019

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

Proceedings of the IEEE International Conference on Blockchain, 2019

2018

Charting the Security Landscape of Programmable Dataplanes.

Andrei-Alexandru Agape, Madalin Claudiu Danceanu, René Rydhof Hansen, Stefan Schmid

CoRR, 2018

Modelling and Analysing Overlay Networks by Ambients with Wormholes.

René Rydhof Hansen, Christian W. Probst

Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018

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

Concurr. Comput. Pract. Exp., 2017

Walking the Line: The Everyday Security Ties that Bind.

Lizzie Coles-Kemp, René Rydhof Hansen

Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017

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

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

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

Modelling Attack-defense Trees Using Timed Automata.

Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Energy-aware scheduling of FIR filter structures using a timed automata model.

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen, Peter Koch

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

Formal Modelling and Analysis of Socio-Technical Systems.

Christian W. Probst, Florian Kammüller, René Rydhof Hansen

Proceedings of the Semantics, Logics, and Calculi, 2016

An Automata-Based Approach to Trace Partitioned Abstract Interpretation.

Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Attack Tree Generation by Policy Invalidation.

Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller

Proceedings of the Information Security Theory and Practice, 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

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

The Timed Decentralised Label Model.

Martin Leth Pedersen, Michael Hedegaard Sørensen, Daniel Lux, Ulrik Nyman, René Rydhof Hansen

Proceedings of the Secure IT Systems, 20th Nordic Conference, 2015

Formal Methods for Modelling and Analysis of Single-Event Upsets.

René Rydhof Hansen, Kim Guldstrand Larsen, Mads Chr. Olesen, Erik Ramsgaard Wognsen

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Transforming Graphical System Models to Graphical Attack Models.

Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller

Proceedings of the Graphical Models for Security - Second International Workshop, 2015

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

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

Formalisation and analysis of Dalvik bytecode.

Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen

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

Model-based Abstraction of Data Provenance.

Christian W. Probst, René Rydhof Hansen

Proceedings of the 6th Workshop on the Theory and Practice of Provenance, 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

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

Battery-Aware Scheduling of Mixed Criticality Systems.

Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

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

Reachability-based Impact as a Measure for Insiderness.

Christian W. Probst, René Rydhof Hansen

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 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

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

Worst-case memory consumption analysis for SCJ.

Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012

What is a Timing Anomaly?.

Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

THAPS: Automated Vulnerability Scanning of PHP Applications.

Torben Jensen, Heine Pedersen, Mads Chr. Olesen, René Rydhof Hansen

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

Private memory allocation analysis for safety-critical Java.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Adaptable Value-Set Analysis for Low-Level Code.

Jörg Brauer, René Rydhof Hansen, Stefan Kowalewski, Kim G. Larsen, Mads Chr. Olesen

Proceedings of the 6th International Workshop on Systems Software Verification, 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

Proceedings of the NASA Formal Methods, 2011

Refactoring Real-Time Java Profiles.

Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

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

Hybrid logical analyses of the ambient calculus.

Thomas Bolander, René Rydhof Hansen

Inf. Comput., 2010

Improving the Security of Infrastructure Software using Coccinelle.

Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller

ERCIM News, 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

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

METAMOC: Modular Execution Time Analysis using Model Checking.

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Schedulability analysis for Java finalizers.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Analysing Access Control Specifications.

Christian W. Probst, René Rydhof Hansen

Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering, 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

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Fluid information systems.

Christian W. Probst, René Rydhof Hansen

Proceedings of the 2009 Workshop on New Security Paradigms, 2009

A predictable Java profile: rationale and implementations.

Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

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

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

An extensible analysable system model.

Christian W. Probst, René Rydhof Hansen

Inf. Secur. Tech. Rep., 2008

Type Inference for Correspondence Types.

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Proceedings of the 6th Workshop on Security Issues in Concurrency, 2008

CTL as an Intermediate Language.

Neil D. Jones, René Rydhof Hansen

Proceedings of the Verification, 2008

Documenting and automating collateral evolutions in linux device drivers.

Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Static Validation of Licence Conformance Policies.

René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst

Proceedings of the The Third International Conference on Availability, 2008

2007

Towards easing the diagnosis of bugs in OS code.

Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer.

Neil D. Jones, René Rydhof Hansen

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Semantic patches considered helpful.

Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen

ACM SIGOPS Oper. Syst. Rev., 2006

Locality-Based Security Policies.

Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Program Partitioning Using Dynamic Trust Models.

Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Where Can an Insider Attack?

Christian W. Probst, René Rydhof Hansen, Flemming Nielson

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Semantic patches for documenting and automating collateral evolutions in Linux device drivers.

Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Sandboxing in myKlaim.

René Rydhof Hansen, Christian W. Probst, Flemming Nielson

Proceedings of the The First International Conference on Availability, 2006

2005

Towards Verification of Well-Formed Transactions in Java Card Bytecode.

René Rydhof Hansen, Igor Siveroni

Proceedings of the First Workshop on Bytecode Semantics, 2005

2004

The Succinct Solver Suite.

Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Hardest Attacker for Leaking References.

René Rydhof Hansen

Proceedings of the Programming Languages and Systems, 2004

2003

Abstract interpretation of mobile ambients.

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Sci. Comput. Program., 2003

2002

Validating firewalls using flow logics.

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

Theor. Comput. Sci., 2002

1999

Abstract Interpretation of Mobile Ambients.

René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Static Analysis, 6th International Symposium, 1999

Validating Firewalls in Mobile Ambients.

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen

Proceedings of the CONCUR '99: Concurrency Theory, 1999