沈利香，博士，副教授，硕士生导师。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
