沈利香，博士，副教授，碩士生導師。2004年畢業于長江大學計算機科學學院，獲地球探測與信息技術專業碩士學位。2021年6月，畢業于西北工業大學，獲計算機科學與技術專業博士學位。研究方向：網絡空間安全,硬件安全。
l 科研項目
[1]. 處理器設計惡意代碼的特征工程方法及其安全評估研究。國家自然科學基金面上項目。
[2]. 基于組合軟計算技術的網絡安全動态風險評估技術研究。江蘇省教育廳高校自然科學研究面上項目。
l 代表性論文
[1]. Shen Lixiang,Mu Dejun, Cao Guo,Qin Maoyuan, Jiacheng Zhu, Wei Hu. Accelerating hardware security verification and vulnerability detection through state space reduction[J]. Computers & Security, SCI, 2021, 103(8):102167.
[2]. Shen Lixiang,Mu Dejun, Cao Guo,Qin Maoyuan,Jeremy Blackstone,Ryan Kastner. Symbolic execution based test-patterns generation algorithm for hardware Trojan detection[J]. Computers & Security, SCI, 2018, (78): 267-280.
l 授權發明專利
[1]. 寄存器傳輸級Verilog代碼的SMV模型構建方法，2021.1.5。
[2]. 一種RTL硬件木馬測試向量的生成方法，2019.11.22。
l 獲得獎勵
[1]. 《涉密信息系統硬件設計的安全漏洞檢測技術》，保密科學技術獎勵，二等獎（部級），2019.9.30，排名第三。
l 聯系方式：Email：shenlx@czu.cn
