Secure IT Systems: 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18-20, 2019, Proceedings von Askarov, Aslan, Hansen, René Rydhof, Rafnsson, Willard

Volltext

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays von Probst, Christian W, Hankin, Chris, Hansen, René Rydhof

Volltext

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

Volltext

Navigating the landscape of security modelling: the MORS grid von Spencer, Matt, Coles-Kemp, Lizzie, Hansen, René Rydhof

Volltext

Breeding unicorns: Developing trustworthy and scalable randomness beacons von Dharanikota, Samvid, Jensen, Michael Toft, Kristensen, Sebastian Rom, Michno, Mathias Sass, Pignolet, Yvonne-Anne, Rydhof Hansen, René, Schmid, Stefan

Volltext

Walking the Line: The Everyday Security Ties that Bind von Coles-Kemp, Lizzie, Hansen, René Rydhof

Volltext

Transforming Graphical System Models to Graphical Attack Models von Ivanova, Marieta Georgieva, Probst, Christian W., Hansen, René Rydhof, Kammüller, Florian

Volltext

Formalisation and analysis of Dalvik bytecode von Wognsen, Erik Ramsgaard, Karlsen, Henrik Søndberg, Olesen, Mads Chr, Hansen, René Rydhof

Volltext

ADTLang: a programming language approach to attack defense trees von Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Jensen, Peter Gjøl, Poulsen, Danny Bøgsted

Volltext

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification von Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas

Volltext

Formal modelling and analysis of Bitflips in ARM assembly code von Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr, Wognsen, Erik Ramsgaard

Volltext

Formal Modelling and Analysis of Socio-Technical Systems von Probst, Christian W., Kammüller, Florian, Hansen, René Rydhof

Volltext

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

Volltext

Gollector: Measuring Domain Name Dark Matter from Different Vantage Points von Hageman, Kaspar, Hansen, René Rydhof, Pedersen, Jens Myrup

Volltext

Attack Tree Generation by Policy Invalidation von Ivanova, Marieta Georgieva, Probst, Christian W., Hansen, René Rydhof, Kammüller, Florian

Volltext

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

Volltext

Battery-Aware Scheduling of Mixed Criticality Systems von Wognsen, Erik Ramsgaard, Hansen, René Rydhof, Larsen, Kim Guldstrand

Volltext

Hybrid logical analyses of the ambient calculus von Bolander, Thomas, Hansen, René Rydhof

Volltext

From Flow Logic to static type systems for coordination languages von De Nicola, Rocco, Gorla, Daniele, Hansen, René Rydhof, Nielson, Flemming, Nielson, Hanne Riis, Probst, Christian W., Pugliese, Rosario

Volltext

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

Volltext