Security and Trust in the 6G Era: Risks and Mitigations G Tripi, A Iacobelli, L Rinieri, M Prandini Electronics 13 (11), 2162, 2024 | 3 | 2024 |
In-Network Encryption for Secure Industrial Control Systems Communications L Rinieri, A Iacobelli, A Al Sadi, A Melis, F Callegati, M Prandini 2024 IEEE 10th International Conference on Network Softwarization (NetSoft …, 2024 | | 2024 |
Detection of Ladder Logic Bombs in PLC Control Programs: an Architecture based on Formal Verification A Iacobelli, L Rinieri, A Melis, A Al Sadi, M Prandini, F Callegati 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems …, 2024 | | 2024 |
Plc-Defuser: Detecting Hidden Ladder Logic Bombs in Plcs Via Control Flow Graph and Model Checking L RINIERI, A Iacobelli, A Melis, M Prandini, F Callegati Available at SSRN 5038203, 0 | | |