arrow
返回
D

Dejun Mu

Northwestern Polytechnical University

14H指数
68论文数
797被引数
收录论文 8
发表时间
Accelerating hardware secur ity ver ification and vulnerability detection through state space reduction
err2021-04-01
err5
PREAI
errShen, Lixiang; Mu, Dejun; Cao, Guo; Qin, Maoyuan; Zhu, Jiacheng; Hu, Wei
err分享
err收藏
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收藏
Symbolic execution based test-patterns generation algorithm for hardware Trojan detection
err2018-09-01
err10
errOAAI
errShen, Lixiang; Mu, Dejun; Cao, Guo; Qin, Maoyuan; Blackstone, Jeremy; Kastner, Ryan
err分享
err收藏
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design
err2018-01-01
err1
errOAAI
errTai, Yu; Hu, Wei; Mu, Dejun; Mao, Baolei; Zhang, Lu
err分享
err收藏
Word-sentence co-ranking for automatic extractive text summarization
err2017-04-01
err81
PREAI
errFang, Changjian; Mu, Dejun; Deng, Zhenghong; Wu, Zhiang
err分享
err收藏
On the Complexity of Generating Gate Level Information Flow Tracking Logic
err2012-06-01
err37
PREAI
errHu, Wei; Oberg, Jason; Irturk, Ali; Tiwari, Mohit; Sherwood, Timothy; Mu, Dejun; Kastner, Ryan
err分享
err收藏