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]

Authors

Maoyuan Qin

This author has not been identified. Look up 'Maoyuan Qin' in Google

Wei Hu

This author has not been identified. Look up 'Wei Hu' in Google

Xinmu Wang

This author has not been identified. Look up 'Xinmu Wang' in Google

Dejun Mu

This author has not been identified. Look up 'Dejun Mu' in Google

Baolei Mao

This author has not been identified. Look up 'Baolei Mao' in Google