Thursday 21 September 2023
- Understanding and Measuring Inter-Process Code Injection in Windows Malware
Jerre Starink, Marieke Huisman, Andreas Peter, Andrea Continella - accepted for EAI SecureComm 2023 - Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation
Lukas Armborst, Sophie Lathouwers and Marieke Huisman - accepted for iFM 2023 - Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, E. Moritz Hahn, Mariëlle Stoelinga - accepted for FTSCS'23 - ATM: a Logic for Quantitative Security Properties on Attack Trees
Stefano Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn and Marielle Stoelinga - accepted for SEFM 2023 - Omega-Regular Reward Machines
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak - accepted for ECAI 2023 - Property Specification and Models for Risk: Towards Risk Propagation Graphs
Stefano M Nicoletti, Mattia Fumagalli, Milan Lopuhaä-Zwakenberg, E Moritz - accepted for SAFECOMP 2023 - Scenario Approach for Parametric Markov Models
Ying Liu, Andrea Turrini, Moritz Hahn, Bai Xue, Lijun Zhang - accepted for ATVA 2023 - Multi-Objective Omega-Regular Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak - accepted for Formal Aspects of Computing (FAC) - CONTACT: Logics for Fault and Attack Trees Analysis
Stefano Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Marielle Stoelinga - accepted for SEN23 - Attack tree metrics are operad algebras
Milan Lopuhaä-Zwakenberg - accepted for CSF 2024 - Time analysis of dynamic attack trees via integer linear programming
Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga - accepted for SEFM 2023 - Optimal spare management via statistical model checking: A case study in research reactors
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg & Mariëlle Stoelinga - accepted for FMICS 2023
