MUNTEANU, ANDREI
MUNTEANU, ANDREI
DIPARTIMENTO DI INFORMATICA
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
2018-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement
2021-01-01 Munteanu, Andrei
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
2020-01-01 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis
2018-01-01 Munteanu, A.; Muradore, R.; Merro, M.; Fiorini, P.
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Runtime Enforcement for Control System Security (Extended Abstract)
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei