MUNTEANU, ANDREI
MUNTEANU, ANDREI
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Industrial Control Systems Security via Runtime Enforcement
2023-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
| 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 process calculus approach to detection and mitigation of PLC malware | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| Industrial Control Systems Security via Runtime Enforcement | 1-gen-2023 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei |