Andrei Munteanu

13 papers A* 1A 2C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Playing for Wellness: A Diary Study of Videogame Usage and Adolescent Wellbeing.
CHI
Andrei Munteanu, Wen Mo, Kyrill Potapov, Leya George, Isabel Georgia Miller, Aneesha Singh
2023 J jnl
Industrial Control Systems Security via Runtime Enforcement.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 J jnl
A process calculus approach to detection and mitigation of PLC malware.
Theor. Comput. Sci.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 A conf
Formal Impact Metrics for Cyber-physical Attacks.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
2021 J jnl
Runtime Enforcement of Programmable Logic Controllers.
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A Formal Approach to Physics-based Attacks in Cyber-physical Systems.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2020 — conf
A Process Calculus Approach to Correctness Enforcement of PLCs.
ICTCS
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A process calculus approach to correctness enforcement of PLCs (full version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 — conf
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.
FormaliSE@ICSE
Andrei Munteanu, Michele Pasqua, Massimo Merro
2020 A conf
Runtime Enforcement for Control System Security.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2019 J jnl
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2018 C conf
A Modest Security Analysis of Cyber-Physical Systems: A Case Study.
FORTE
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2018 — conf
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis.
ICPS
Andrei Munteanu, Riccardo Muradore, Massimo Merro, Paolo Fiorini