MUNTEANU, ANDREI

MUNTEANU, ANDREI  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 1-gen-2018 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A process calculus approach to detection and mitigation of PLC malware 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Formal Approaches to Control System Security From Static Analysis to Runtime Enforcement 1-gen-2021 Munteanu, Andrei
Formal Impact Metrics for Cyber-physical Attacks 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 1-gen-2020 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 1-gen-2018 Munteanu, A.; Muradore, R.; Merro, M.; Fiorini, P.
Runtime Enforcement for Control System Security 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Runtime Enforcement for Control System Security (Extended Abstract) 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei