Iacobelli A.; Rinieri L.; Melis A.; Sadi A.A.; Prandini M.; Callegati F., Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification, in: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS), NEW YORK, NY 10017 USA, IEEE, 2024, pp. 1 - 7 (atti di: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS), St.Louis, USA, 12-15 May 2024) [Contributo in Atti di convegno]
Rinieri L.; Iacobelli A.; Al Sadi A.; Melis A.; Callegati F.; Prandini M., In-Network Encryption for Secure Industrial Control Systems Communications, in: 2024 IEEE 10th International Conference on Network Softwarization, NetSoft 2024, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 190 - 194 (atti di: 10th IEEE International Conference on Network Softwarization, NetSoft 2024, St.Louis, USA, 24-28 June 2024) [Contributo in Atti di convegno]
Tripi, Giulio; Iacobelli, Antonio; Rinieri, Lorenzo; Prandini, Marco, Security and Trust in the 6G Era: Risks and Mitigations, «ELECTRONICS», 2024, 13, Article number: 2162, pp. 1 - 18 [articolo]
