Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking. - Yiqiang Zhao; Gonsen Qu; Qizhi Zhang; Yao Li; Zhengyang Li; Jiaji He (VTS, 2024)