Secure Control Loop Execution of Cyber-Physical Devices Using Predictive State Space Checks

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]

Authors

Kwondo Ma

This author has not been identified. Look up 'Kwondo Ma' in Google

Chandramouli N. Amarnath

This author has not been identified. Look up 'Chandramouli N. Amarnath' in Google

Abhijit Chatterjee

This author has not been identified. Look up 'Abhijit Chatterjee' in Google

Jacob A. Abraham

This author has not been identified. Look up 'Jacob A. Abraham' in Google