IACOBELLI, ANTONIO
IACOBELLI, ANTONIO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
PLC-Defuser: Detecting hidden Ladder Logic Bombs in PLCs via Control Flow Graph and model checking
2026 Rinieri, Lorenzo; Iacobelli, Antonio; Melis, Andrea; Prandini, Marco; Callegati, Franco
Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification
2024 Iacobelli A.; Rinieri L.; Melis A.; Sadi A.A.; Prandini M.; Callegati F.
In-Network Encryption for Secure Industrial Control Systems Communications
2024 Rinieri L.; Iacobelli A.; Al Sadi A.; Melis A.; Callegati F.; Prandini M.
Security and Trust in the 6G Era: Risks and Mitigations
2024 Tripi, Giulio; Iacobelli, Antonio; Rinieri, Lorenzo; Prandini, Marco
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| PLC-Defuser: Detecting hidden Ladder Logic Bombs in PLCs via Control Flow Graph and model checking | Rinieri, Lorenzo; Iacobelli, Antonio; Melis, Andrea; Prandini, Marco; Callegati, Franco | 2026-01-01 | COMPUTERS & SECURITY | - | 1.01 Articolo in rivista | - |
| Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification | Iacobelli A.; Rinieri L.; Melis A.; Sadi A.A.; Prandini M.; Callegati F. | 2024-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| In-Network Encryption for Secure Industrial Control Systems Communications | Rinieri L.; Iacobelli A.; Al Sadi A.; Melis A.; Callegati F.; Prandini M. | 2024-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Security and Trust in the 6G Era: Risks and Mitigations | Tripi, Giulio; Iacobelli, Antonio; Rinieri, Lorenzo; Prandini, Marco | 2024-01-01 | ELECTRONICS | - | 1.01 Articolo in rivista | - |