IACOBELLI, ANTONIO
IACOBELLI, ANTONIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
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 |
|---|---|---|---|---|---|---|
| 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 | - |