MUNTEANU, ANDREI
MUNTEANU, ANDREI
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
2018-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
2020-01-01 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis
2018-01-01 Munteanu, A.; Muradore, R.; Merro, M.; Fiorini, P.
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Runtime Enforcement for Control System Security (Extended Abstract)
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| 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 |