Andrei Munteanu

According to our database, Andrei Munteanu authored at least 13 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Playing for Wellness: A Diary Study of Videogame Usage and Adolescent Wellbeing.

Andrei Munteanu, Wen Mo, Kyrill Potapov, Leya George, Isabel Georgia Miller, Aneesha Singh

Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

2023

Industrial Control Systems Security via Runtime Enforcement.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

ACM Trans. Priv. Secur., 2023

2021

A process calculus approach to detection and mitigation of PLC malware.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

Theor. Comput. Sci., 2021

Runtime Enforcement of Programmable Logic Controllers.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

CoRR, 2021

Formal Impact Metrics for Cyber-physical Attacks.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

A Formal Approach to Physics-based Attacks in Cyber-physical Systems.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò

ACM Trans. Priv. Secur., 2020

A process calculus approach to correctness enforcement of PLCs (full version).

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

CoRR, 2020

A Process Calculus Approach to Correctness Enforcement of PLCs.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.

Andrei Munteanu, Michele Pasqua, Massimo Merro

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Runtime Enforcement for Control System Security.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).

Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò

CoRR, 2019

2018

On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis.

Andrei Munteanu, Riccardo Muradore, Massimo Merro, Paolo Fiorini

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

A Modest Security Analysis of Cyber-Physical Systems: A Case Study.

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018