Kwondo Ma, Chandramouli N. Amarnath, Abhijit Chatterjee, Jacob A. Abraham. Secure Control Loop Execution of Cyber-Physical Devices Using Predictive State Space Checks. In 24th International Symposium on Quality Electronic Design, ISQED 2023, San Francisco, CA, USA, April 5-7, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.