Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification. - Antonio Iacobelli; Lorenzo Rinieri; Andrea Melis 001; Amir Al Sadi; Marco Prandini; Franco Callegati (ICPS, 2024)

In-Network Encryption for Secure Industrial Control Systems Communications. - Lorenzo Rinieri; Antonio Iacobelli; Amir Al Sadi; Andrea Melis 001; Franco Callegati; Marco Prandini (NetSoft, 2024)