Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks

S. Wu, N. Allen, A. Baird, H. Pearce, P. Roop
January 2025
Cite DOI URL
Type
Conference paper
Publication
Proceedings 2025 23rd ACM IEEE International Symposium on Formal Methods and Models for System Design Memocode 2025