E-LIB Suche - Ergebnisse für: Hansen, Rene Rydhof

1

Statistical Model Checking for Probabilistic Hyperpropertie..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Arora, Shiraj ; Hansen, René Rydhof ; Larsen, Kim Guldstrand.. - p. 61-78 , 2022

Link: https://doi.org/10.1007/..

2

Designing Through The Stack: The Case for a Participatory D..:

, In: Proceedings of the 2022 New Security Paradigms Workshop,

Slesinger, Ian ; Coles-Kemp, Lizzie ; Panteli, Niki. - p. 45-59 , 2022

Link: https://dl.acm.org/doi/1..

3

Understanding the Challenges of Blocking Unnamed Network Tr..:

, In: NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium,

Hageman, Kaspar ; Kidmose, Egon ; Hansen, Rene Rydhof. - p. 1-5 , 2022

Link: https://doi.org/10.1109/..

4

ADTLang: a programming language approach to attack defense ..:

Hansen, René Rydhof ; Larsen, Kim Guldstrand ; Legay, Axel..
International Journal on Software Tools for Technology Transfer. 23 (2021) 1 - p. 89-104 , 2021

Link: https://doi.org/10.1007/..

5

P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplan..:

, In: International Conference on Distributed Computing and Networking 2021,

Agape, Andrei-Alexandru ; Danceanu, Madalin Claudiu ; Hansen, Rene Rydhof. - p. 16-25 , 2021

Link: https://dl.acm.org/doi/1..

6

Preliminary Security Analysis, Formalisation, and Verificat..:

, In: Secure IT Systems; Lecture Notes in Computer Science,

Møller, Bjarke Hilmer ; Søndergaard, Jacob Gosch ; Jensen, Kristoffer Skagbæk... - p. 192-211 , 2021

Link: https://doi.org/10.1007/..

7

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

, In: Secure IT Systems; Lecture Notes in Computer Science,

Hageman, Kaspar ; Hansen, René Rydhof ; Pedersen, Jens Myrup - p. 133-152 , 2021

Link: https://doi.org/10.1007/..

8

Benign Interaction of Security Domains:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis - p. 312-331 , 2021

Link: https://doi.org/10.1007/..

9

Adaptive Security Policies:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Nielson, Flemming ; Hansen, René Rydhof ; Nielson, Hanne Riis - p. 280-294 , 2020

Link: https://doi.org/10.1007/..

10

Haaukins: A Highly Accessible and Automated Virtualization ..:

, In: 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT),

Panum, Thomas Kobber ; Hageman, Kaspar ; Pedersen, Jens Myrup. - p. 236-238 , 2019

Link: https://doi.org/10.1109/..

11

Secure IT Systems: 24th Nordic Conference, NordSec 2019, Aa..

Security and Cryptology, 11875

Askarov, Aslan ; Hansen, René Rydhof ; Rafnsson, Willard - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

12

Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson... Lecture Notes in Computer Science ; 9560;Theoretical Computer Science and General Issues ; 9560;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Probst, Christian W. ; Hankin, Chris ; Hansen, René Rydhof - 1st ed. 2016 . , 2016

Link: https://doi.org/10.1007/..

13

Safety‐critical Java for embedded systems:

Schoeberl, Martin ; Dalsgaard, Andreas Engelbredt ; Hansen, René Rydhof...
Concurrency and Computation: Practice and Experience. 29 (2016) 22 - p. , 2016

Link: https://doi.org/10.1002/..

14

Formal modelling and analysis of Bitflips in ARM assembly c..:

Hansen, René Rydhof ; Larsen, Kim Guldstrand ; Olesen, Mads Chr..
Information Systems Frontiers. 18 (2016) 5 - p. 909-925 , 2016

Link: https://doi.org/10.1007/..

15

Modelling Social-Technical Attacks with Timed Automata:

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

David, Nicolas ; David, Alexandre ; Hansen, Rene Rydhof... - p. 21-28 , 2015

Link: https://dl.acm.org/doi/1..