硬件安全、数字集成电路设计与验证方法学、人工智能安全与芯片、嵌入式系统

欢迎各高等院校优秀本科毕业生报考研究生，具体名额和招生情况请与微电子所教育处联系！

080903-微电子学与固体电子学
080902-电路与系统
081203-计算机应用技术

硬件安全
集成电路设计与验证
人工智能芯片

2008-10--2010-02   美国加州大学圣迭戈分校   联合培养博士
2005-09--2010-07   北京大学   博士
2001-09--2005-07   南开大学   学士

博士

博士

   

2012-10~现在, 中国科学院微电子研究所, 副研究员
2010-07~2012-10,中国科学院微电子研究所, 助理研究员

2024-05-01-今,IEEE TCAD, 审稿人
2021-08-31-今,计算机学报, 审稿人
2018-02-28-今,北京邮电大学学报, 审稿人

   

（1） RTL Verification for Secure Speculation Using Cascaded Two-Phase Information Flow Tracking, The 31st Asia and South Pacific Design Automation Conference (ASP-DAC’2026), 2026, 第 2 作者  通讯作者
（2） Towards Effective and Sparse Adversarial Attack on Spiking Neural Networks via Breaking Invisible Surrogate Gradients, 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2025, 第 6 作者  通讯作者
（3） B-HTRecognizer: Bit-wise Hardware Trojan Localization using Graph Attention Networks, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 第 4 作者  通讯作者
（4） 脉冲神经网络权重量化方法与对抗鲁棒性分析, Weight Quantization Method for Spiking Neural Networks and Analysis of Adversarial Robustness, 电子与信息学报, 2023, 第 1 作者
（5） A Portable Hardware Trojan Detection Using Graph Attention Networks, IEEE 32nd Asian Test Symposium (ATS), 2023, 
（6） A multi-level architecture for hardware Trojan and vulnerability runtime detection and response towards cryptographic IP, IEICE Electronics Express, 2023, 第 3 作者  通讯作者
（7） A Comparative Study on the Performance and Security Evaluation of Spiking Neural Networks, IEEE ACCESS, 2022, 第 4 作者  通讯作者
（8） Partial Reconfiguration for Run-time Memory Faults and Hardware Trojan Attacks Detection, IEEE International Symposium on Hardware Oriented Security and Trust, 2022, 第 1 作者
（9） 指令级功耗特征的硬件木马检测高效机器学习, Efficient machine learning methods for hardware Trojan detection using instruction-level power character, 中国科学院大学学报, 2021, 第 1 作者
（10） 面向物联网应用的SoC安全检查架构设计, Design of SoC Security Check Architecture for Internet of Things Applications, 计算机工程, 2021, 第 4 作者
（11） 可配置SoC运行时安全策略检查架构的实现, Implementation of configurable SoC runtime security policy checking architecture, 电子设计工程, 2021, 第 3 作者
（12） 面向物联网应用的SoC片上安全检查架构设计, 计算机工程, 2021, 第 1 作者
（13） RDAMS: An Efficient Run-Time Approach for Memory Fault and Hardware Trojans Detection, INFORMATION, 2021, 第 2 作者  通讯作者
（14） Efficient Machine Learning Methods for Hardware Trojan Detection using instruction-level power character, 中国科学院大学学报, 2021, 第 1 作者
（15） SVM算法在硬件木马旁路分析检测中的应用, Application of SVM Machine Learning to Hardware Trojan Detection Using Side-channel Analysis, 电子与信息学报, 2020, 第 2 作者
（16） 硬件木马旁路检测方法的影响因素研究, Research on Influencing Factor of Hardware Trojan Side-channel Detection Method, 计算机工程, 2019, 第 1 作者
（17） 基于混合内存的存储系统优化方案, Optimization scheme of memory system based on hybrid main memory, 电子设计工程, 2019, 第 5 作者
（18） 硬件木马旁路检测方法的影响因素分析, 计算机工程, 2019, 第 1 作者
（19） 基于REST的园区数据管理系统的研究, Research on data management system based on REST in IOT monitoring applications, 计算机工程与应用, 2017, 第 4 作者
（20） 基于动态窗口的信任采集系统, 微电子学与计算机, 2015, 第 1 作者  通讯作者
（21） 基于动态窗口的行为证据采集系统, 微电子学与计算机, 2015, 第 3 作者
（22） A Physical Layer Key Negotiation Mechanism to Secure Wireless Networks, JOURNAL OF NETWORKS, 2014, 第 3 作者
（23） Efficient IEEE 802.15.4 AHB Slave of Security Accelerator in Wireless Senor Networks, WEB TECHNOLOGIES AND APPLICATIONS, APWEB 2014, PT II, 2014, 第 3 作者
（24） 高可靠、低能耗的物联网基带收发机设计, Design of a Reliable and Low-Energy Baseband Transceiver for Internet of Things, 微电子学与计算机, 2014, 第 3 作者
（25） 无线传感器网络拓扑的监控与维护, Topology monitoring and maintaining method for wireless sensor network, 物联网技术, 2012, 第 3 作者
（26） 使用嵌入式处理器的水声调制解调器控制系统设计方法与研究, A Control Scheme for Underwater Wireless Modem with Embedded MicroBlaze Processor, 北京大学学报：自然科学版, 2011, 第 1 作者
（27） System Modeling and Analysis of the IEEE 802.15.4 Physical Layer Design, 9th IEEE International Conference on ASIC, 2011, 第 3 作者
（28） 一种在FPGA上实现FIR数字滤波器的资源优化算法, A Resource Optimizing Algorithm in FPGA Based High Speed FIR Digital Filters, 北京大学学报：自然科学版, 2009, 第 1 作者

（1） SystemVerilog硬件设计及建模, 科学出版社, 2007-10, 第 4 作者