arrow
返回
X

Xinmu Wang

University System of Ohio

12H指数
28论文数
705被引数
收录论文 2
发表时间
Theorem proof based gate level information flow tracking for hardware security verification
err2019-08-01
err9
PREAI
errQin, Maoyuan; Hu, Wei; Wang, Xinmu; Mu, Dejun; Mao, Baolei
err分享
err收藏
IIPS: Infrastructure IP for Secure SoC Design
err2015-08-01
err32
PREAI
errWang, Xinmu; Zheng, Yu; Basak, Abhishek; Bhunia, Swarup
err分享
err收藏