From Constraints to Cracks: Constraint Semantic Inconsistencies as Vulnerability Beacons for Embedded Systems
by Jiaxu Zhao and
Yuekang Li and
Yanyan Zou and
Yang Xiao and
Naijia Jiang and
Yeting Li and
Nanyu Zhong and
Bingwei Peng and
Kunpeng Jian and
Wei Huo