Discovering Blind-Trust Vulnerabilities in PLC Binaries via State Machine Recovery

Proceedings 2026 Network and Distributed System Security Symposium 2026 Open access

Read full text
Authors: Fangzhou Dong, Arvind S. Raj, Efrén López-Morales, Siyu Liu, Yan Shoshitaishvili, Tiffany Bao, Adam Doupé, Muslum Ozgur Ozmen, Ruoyu Wang
DOI: 10.14722/ndss.2026.241624
Cited by: 1

Abstract

Changing variable type to float changes both size and type.* * Yes indicates this scenario can potentially produce incorrect verification results.If the specified policies do not involve the incorrect states and transitions, verification results may still be correct.

Fields of Study & Subjects

Smart Grid Security and Resilience Petri Nets in System Modeling Physical Unclonable Functions (PUFs) and Hardware Security

Publication details

Journal / source
Proceedings 2026 Network and Distributed System Security Symposium
Publisher
Internet Society
Publication date
1 January 2026