René Rydhof Hansen

92 papers A* 1A 4B 8C 11Misc 4Journal 22Unranked 40

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