Andrei Munteanu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Programmable Logic

Cyber Physical Systems

Evolutionary Robotics

Top Venues

ACM Trans. Priv. Secur.

Publications

Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Industrial Control Systems Security via Runtime Enforcement. ACM Trans. Priv. Secur. 26 (1) (2023)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Runtime Enforcement of Programmable Logic Controllers. CoRR (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
Formal Impact Metrics for Cyber-physical Attacks. CSF (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A process calculus approach to detection and mitigation of PLC malware. Theor. Comput. Sci. 890 (2021)
Andrei Munteanu, Michele Pasqua, Massimo Merro
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. FormaliSE@ICSE (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Runtime Enforcement for Control System Security. CSF (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-based Attacks in Cyber-physical Systems. ACM Trans. Priv. Secur. 23 (1) (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A process calculus approach to correctness enforcement of PLCs (full version). CoRR (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A Process Calculus Approach to Correctness Enforcement of PLCs. ICTCS (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR (2019)
Andrei Munteanu, Riccardo Muradore, Massimo Merro, Paolo Fiorini
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis. ICPS (2018)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A Modest Security Analysis of Cyber-Physical Systems: A Case Study. FORTE (2018)