Theorem proof based gate level information flow tracking for hardware security verification

Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao. Theorem proof based gate level information flow tracking for hardware security verification. Computers & Security, 85:225-239, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: