Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha Roop. Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 16-27, ACM, 2025. [doi]
Abstract is missing.