From Constraints to Cracks: Constraint Semantic Inconsistencies as Vulnerability Beacons for Embedded Systems. - Jiaxu Zhao 004; Yuekang Li; Yanyan Zou 002; Yang Xiao 011; Naijia Jiang; Yeting Li; Nanyu Zhong; Bingwei Peng; Kunpeng Jian; Wei Huo (USENIX Security Symposium, 2025)