Follow
Andrei Munteanu
Andrei Munteanu
Verified email at univr.it
Title
Cited by
Cited by
Year
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
502020
Runtime enforcement for control system security
R Lanotte, M Merro, A Munteanu
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 246-261, 2020
172020
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
102021
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
92018
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
92018
Industrial control systems security via runtime enforcement
R Lanotte, M Merro, A Munteanu
ACM Transactions on Privacy and Security 26 (1), 1-41, 2022
72022
A process calculus approach to detection and mitigation of PLC malware
R Lanotte, M Merro, A Munteanu
Theoretical Computer Science 890, 125-146, 2021
52021
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
52019
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
42020
A process calculus approach to correctness enforcement of PLCs
R Lanotte, M Merro, A Munteanu
CEUR WORKSHOP PROCEEDINGS 2756, 81-94, 2020
42020
A process calculus approach to correctness enforcement of PLCs (full version)
R Lanotte, M Merro, A Munteanu
arXiv preprint arXiv:2007.09399, 2020
12020
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, ...
The system can't perform the operation now. Try again later.
Articles 1–14