姓名：秦茂源

职称：讲师

电话：18691052683

邮箱：qinmaoyuan@xatu.edu.cn

教育背景

工学硕士 自动化控制，纽卡斯尔大学，英国

工学博士 网络信息安全，西北工业大学，中国

学术兼职

CCF容错计算会员

研究领域

硬件安全、系统安全，高可靠系统、集成电路设计研究概况

钦茂原，博士，计算机科学与技术系，副主任、硕导，主持陕西省科技厅面上项目、碑林区科技计划项目、云南中烟科技计划项目。参与国家自然基金面上项目、军委科技委、陕西省科技计划项目等若干项。主讲《Verilog设计与硬件全》、《计算机网络》课程。发表先后在国际国内期刊及会议上发表论文20余篇。

研究课题

云南中烟工业有限责任公司科技计划项目“基于三维视觉感知的烟机零配件智能管理平台”： 2021-2025；

碑林区科技计划项目-应用技术研发类项目：GX2136，细粒度SoC系统硬件固件跨层联合安全验证技术，2021-2022；

陕西省科技计划项目-自然科学基础研究计划-一般项目（面上）：2022JM-379，细粒度SoC系统硬件固件跨层联合安全验证技术，2022-2023；

学术成果

[1] Maoyuan Qin; Xinmu Wang; Baolei Mao; Dejun Mu; Wei Hu ; A formal model for proving

hardware timing properties and identifying timing channels, Integration, the VLSI Journal, 2020.春季, 72(2020): 123-133

[2] 秦茂源; 慕德俊; 胡伟; 毛保磊 ; 硬件安全门级细粒度形式化验证方法, 西安电子科技大学学报, 2018, 45(5): 143-148

[3] Maoyuan Qin; Wei Hu; Xinmu Wang; Dejun Mu; Baolei Mao ; Theorem proof based gate level information flow tracking for hardware security verification, Computers & Security, 2019.夏季, 85(2019): 225-239

[4] Maoyuan Qin; Jiacheng Zhu; Baolei Mao; Wei Hu ; Hardware/software security coverification and vulnerability detection: An information flow perspective, Integration, the VLSI Journal, 2023.秋季

[5] 秦茂源; 侯佳滢; 李家乐; 唐时博; 邰瑜 ; 寄存器传输级硬件设计信息流建模与安全验证, 西北工业大学学报, 2024, 42(3): 506-513