Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024) Rong Gu, Zahra Moezkarimi, Marjan Sirjani 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)
Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda (Jul 2024) Manabu Okada , Barbara Gallina 48th IEEE International Computers, Software, and Applications Conference (COMPSAC-2024)
Hybrid Moving Controller: Modified Hybrid Moving Target Defense with Stability Guarantees (Jun 2024) Mojtaba Kaheni, Alessandro Papadopoulos 22nd European Control Conference (ECC 2024)
Enhancing Sensor Attack Detection and Mitigating Sensor Compromise Impact in a Switching-Based Moving Target Defense (Jun 2024) Anas Al-hashimi, Thomas Nolte, Alessandro Papadopoulos 22nd European Control Conference (ECC 2024)
A Systematic Approach Towards Enhancing Digital Privacy in Industrial Applications (Jun 2024) Sara Abbaspour 12th International Conference of Security, Privacy and Trust Management (SPTM)
An Ontology-based Representation for Shaping Product Evolution in Regulated Industries (Jun 2024) Barbara Gallina, Henrik Dibowski , Markus Schweizer 21st International Conference on Software and Systems Reuse (ICSR-2024)