A formal approach to physics-based attacks in cyber-physical systems R Lanotte, M Merro, A Munteanu, L Viganò ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020 | 52 | 2020 |
Runtime enforcement for control system security R Lanotte, M Merro, A Munteanu 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 246-261, 2020 | 18 | 2020 |
Formal impact metrics for cyber-physical attacks R Lanotte, M Merro, A Munteanu, S Tini 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 10 | 2021 |
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis A Munteanu, R Muradore, M Merro, P Fiorini 2018 IEEE Industrial Cyber-Physical Systems (ICPS), 159-166, 2018 | 9 | 2018 |
A modest security analysis of cyber-physical systems: A case study R Lanotte, M Merro, A Munteanu Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018 | 9 | 2018 |
Industrial control systems security via runtime enforcement R Lanotte, M Merro, A Munteanu ACM Transactions on Privacy and Security 26 (1), 1-41, 2022 | 8 | 2022 |
A process calculus approach to detection and mitigation of PLC malware R Lanotte, M Merro, A Munteanu Theoretical Computer Science 890, 125-146, 2021 | 5 | 2021 |
A formal approach to physics-based attacks in cyber-physical systems (extended version) R Lanotte, M Merro, A Munteanu, L Viganò arXiv preprint arXiv:1902.04572, 2019 | 5 | 2019 |
Impact analysis of cyber-physical attacks on a water tank system via statistical model checking A Munteanu, M Pasqua, M Merro Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 4 | 2020 |
A process calculus approach to correctness enforcement of PLCs R Lanotte, M Merro, A Munteanu CEUR WORKSHOP PROCEEDINGS 2756, 81-94, 2020 | 4 | 2020 |
A process calculus approach to correctness enforcement of PLCs (full version) R Lanotte, M Merro, A Munteanu arXiv preprint arXiv:2007.09399, 2020 | 1 | 2020 |
Runtime Enforcement of Programmable Logic Controllers R Lanotte, M Merro, A Munteanu arXiv preprint arXiv:2105.10668, 2021 | | 2021 |
Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement A Munteanu | | 2021 |
FormaliSE 2020 O al Duhaiby, J Friso, S Foster, Y Nemouchi, J Camara, A Munteanu, ... | | |