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

Browse the full VTS paper archive.