×
2024
Static Gate-Level Information Flow for Hardware Information Security with Bounded Model Checking.
[DOI]
Yiqiang Zhao
,
Gonsen Qu
,
Qizhi Zhang
,
Yao Li
,
Zhengyang Li
,
Jiaji He
Proceedings of the 42nd IEEE VLSI Test Symposium, 2024