![](/img/cover-not-exists.png)
Theorem proof based gate level information flow tracking for hardware security verification
Qin, Maoyuan, Hu, Wei, Wang, Xinmu, Mu, Dejun, Mao, BaoleiVolume:
85
Language:
english
Journal:
Computers & Security
DOI:
10.1016/j.cose.2019.05.005
Date:
August, 2019
File:
PDF, 1.15 MB
english, 2019