Andrei Munteanu

ACM Trans. Priv. Secur., 2023

2021

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Runtime Enforcement of Programmable Logic Controllers.

[BibT_eX]

[DOI]

CoRR, 2021

Formal Impact Metrics for Cyber-physical Attacks.

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

A Process Calculus Approach to Correctness Enforcement of PLCs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michele Pasqua

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

Runtime Enforcement for Control System Security.

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

CoRR, 2019

2018

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

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

[BibT_eX]

[DOI]