天津大学网站

何家骥

性别:

职称:副教授

More>

教育经历

  • · 2015.9 - 2019.6

    天津大学   - 微电子学与固体电子学   - 博士

  • · 2013.8 - 2015.9

    天津大学   - 微电子学与固体电子学   - 硕士

  • · 2009.9 - 2013.7

    天津大学   - 电子科学与技术   - 学士

工作经历

  • · 2016.10 - 2018.4

    ECE → University of Florida  → 国家公派联合培养博士,合作导师:Yier Jin教授,Mark M. Tehranipoor教授(IEEE Fellow)。 

  • · 2019.8 - 2021.9

    集成电路学院 → 清华大学  → 博士后,助理研究员,合作导师:刘雷波教授(长江学者)、魏少军教授(IEEE Fellow,CIE Fellow)。 

研究方向

  • · 数字集成电路(全流程)设计、集成电路硬件安全、硬件形式化验证、密码芯片设计与安全分析等。

社会兼职

  • · 杭州技师学院学术顾问

  • · 天津市企业科技特派员

个人简介

一、基本情况

何家骥,博士,青年科学家,天津大学特聘副研究员,硕士生导师,清华大学博士后,IEEE会员,CCF会员,国家密码管理局商用密码检测中心专家,天津市企业科技特派员,杭州技师学院学术顾问。主要研究领域为数字集成电路(全流程)设计、集成电路硬件安全、硬件形式化验证、密码芯片设计与安全分析。

二、工作与教育经历

2021.10-至今 天津大学,微电子学院,特聘副研究员。

2019.08-2021.09 清华大学,博士后,助理研究员,合作导师:刘雷波教授(长江学者)、魏少军教授(IEEE FellowCIE Fellow)

2015.09-2019.06 天津大学,微电子学与固体电子学,博士,导师:赵毅强教授。

2016.10-2018.04 美国佛罗里达大学,国家公派联合培养博士,合作导师:Yier Jin(金意儿)教授,Mark M. Tehranipoor教授(IEEE Fellow)

2013.08-2015.09 天津大学,微电子学与固体电子学,硕士。

2009.09-2013.07 天津大学,电子科学与技术,学士。

三、科研项目

主持国家重点研发计划青年科学家项目1项、国家及省部级科研项目4项、CCF-华为胡杨林基金1项、天津大学自主创新基金2项,参与国家自然科学基金重点及面上项目共3项、国家重点研究计划项目2项等。遴选项目如下:

1.         寄存器传输级安全分析方法,国家重点研发计划青年科学家项目,项目负责人。

2.         面向可重构密码芯片的侧信道脆弱性定位与安全防护技术研究,国家自然科学基金青年科学基金项目,项目负责人。

3.         面向融合RTL芯片设计的安全漏洞形式化验证技术研究,天津市自然科学基金青年项目,项目负责人。

4.         纳米级芯片硬件综合安全评估关键技术研究,国家重点研发计划项目,课题子任务负责人。

5.         基于门级信息流追踪的集成电路信息机密性安全形式化验证技术研究,CCF-华为胡杨林基金-可信计算领域专项,项目负责人。

6.         2022年天津大学自主创新基金,项目负责人。

7.         2023年天津大学自主创新基金,项目负责人。

8.         动态局部重构密码芯片侧信道安全高层次评估技术研究,中国博士后科学基金第1批特别资助(站前),项目负责人。

9.         集成式开环霍尔电流传感器关键技术和工艺的研制,天津市重点研发计划-京津冀协同创新项目,项目第一参与人。

四、代表学术成果

累计发表各类论文50余篇,包含IEEE TIFSIEEE TCAS-IIEEE TCADIEEE TVLSIIEEE JETCASIEEE D&TACM TECSIntegration等高水平期刊和DACICCADASP-DACHOSTAsian-HOST等高水平会议,授权发明专利近20余项,出版专著(章节)1本,参与出版教材1本。

教材编写:

1.         《集成电路工程技术人员-集成电路基础知识》,北京,中国人事出版社,2023年。

遴选部分期刊论文:

1.         Zhao, Y., Pan, S., Ma, H., Gao, Y., Song, X., He, Jiaji*, & Jin, Y. (2023). "Side Channel Security Oriented Evaluation and Protection on Hardware Implementations of Kyber." IEEE Transactions on Circuits and Systems I (TCAS-I): Regular Papers.

2.         Ma, H., Panoff, M., He, Jiaji*, Zhao, Y.* and Jin, Y. (2023). "EMSIM: A Fast Layout Level Electromagnetic Emanation Simulation Framework for High Accuracy Pre-Silicon Verification." IEEE Transactions on Information Forensics and Security (TIFS), 18, 1365-1379.

3.         Zhao, Y., Shi, B., Zhang, Q., Yuan, Y., & He, Jiaji*. (2023). "Research on Cache Coherence Protocol Verification Method Based on Model Checking." Electronics, 12(16), 3420.

4.         Hu, B., Zhao, Y., Zhou, G., He, Jiaji, Liu, C., Liu, Q., ... & Li, Y. (2023). "Coupling Dilated Encoder–Decoder Network for Multi-Channel Airborne LiDAR Bathymetry Full-Waveform Denoising." Remote Sensing, 15(13), 3293.

5.         Wang, Q., Ye, M., Li, Y., Zheng, X., He, Jiaji, Du, J., & Zhao, Y. (2023). "MOSFET modeling of 0.18μm CMOS technology at 4.2 K using BP neural network." Microelectronics Journal, 105678.

6.         Zhang, Q., Liu, L., Yuan, Y., Zhang, Z., He, Jiaji*, Gao, Y., Li, Y., Guo, X. and Zhao, Y. * (2022). "A Gate-Level Information Leakage Detection Framework of Sequential Circuit Using Z3." Electronics, 11(24), p.4216.

7.         Li, D., Zhang, Q., Zhao, D., Li, L., He, Jiaji*, Yuan, Y. and Zhao, Y.* (2022). "Hardware Trojan Detection Using Effective Property-Checking Method." Electronics, 11(17), 2649.

8.         Hu, B., Zhao, Y.*, He, Jiaji*, Liu, Q. and Chen, R. (2022). "A Classification Method for Airborne Full-Waveform LiDAR Systems Based on a Gramian Angular Field and Convolution Neural Networks." Electronics, 11(24), p.4114.

9.         Tang, W., Su, J., He, Jiaji, & Gao, Y. (2022). "A Deep Learning Method Based on the Attention Mechanism for Hardware Trojan Detection." Electronics, 11(15), 2400.

10.     Deng, C., Zhu, M., Yang, J., Wu, Y., He, Jiaji, Yang, B., ... & Liu, L. (2022). "An energy-efficient dynamically reconfigurable cryptographic engine with improved power/EM-side-channel-attack resistance." Science China Information Sciences, 65(4), 1-2.

11.     He, Jiaji, Guo, X., Tehranipoor, M., Vassilev, A. and Jin, Y. (2021). "EM Side Channels in Hardware Security: Attacks and Defenses." IEEE Design & Test, 39(2), 100-111.

12.     He, Jiaji, Ma, H., Panoff, M., Wang, H., Zhao, Y., Liu, L., Guo, X. and Jin, Y. (2021). "Security Oriented Design Framework for EM Side-Channel Protection in RTL Implementations." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(8), 2421-2434.

13.     Shi, Z., Ma, H., Zhang, Q., Liu, Y., Zhao, Y., & He, Jiaji*. (2021). "Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic Algorithm." ACM Transactions on Embedded Computing Systems (TECS), 20(4), 1-20.

14.     Ma, H., He, Jiaji, Panoff, M., Jin, Y., & Zhao, Y. (2021). "Automatic On-Chip Clock Network Optimization for Electromagnetic Side-Channel Protection." IEEE Journal on emerging and selected topics in circuits and systems, 11(2), 371-382.

15.     Liu, Y., He, Jiaji, Ma, H., Qu, T., & Dai, Z. (2021). "A Comprehensive Evaluation of Integrated Circuits Side-Channel Resilience Utilizing Three-Independent-Gate Silicon NanoWire Field Effect Transistors based Current Mode Logic." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(10), 3228-3238.

16.     He, Jiaji, Ma, H., Liu, Y., & Zhao, Y. (2020). "Golden Chip-Free Trojan Detection Leveraging Trojan Trigger’s Side-Channel Fingerprinting." ACM Transactions on Embedded Computing Systems (TECS), 20(1), 1-18.

17.     Ma, H., He, Jiaji*, Liu, Y., Kuai, J., Li, H., Liu, L., & Zhao, Y. (2020). "On-Chip Trust Evaluation Utilizing TDC-Based Parameter-Adjustable Security Primitive." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(10), 1985-1994.

18.     Ma, H., He, Jiaji*, Liu, Y., Liu, L., Zhao, Y., & Jin, Y. (2020). "Security-Driven Placement and Routing Tools for Electromagnetic Side Channel Protection." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(6), 1077-1089.

19.     Liu, Y., He, Jiaji, Ma, H., & Zhao, Y. (2020). "Golden chip free Trojan detection leveraging probabilistic neural network with genetic algorithm applied in the training phase." Science China Information Sciences, 63, 1-3.

20.     He, Jiaji, Guo, X., Meade, T., Dutta, R. G., Zhao, Y., & Jin, Y. (2019). "SoC Interconnection Protection through Formal Verification." Integration, 64, 143-151.

21.     He, Jiaji, Zhao, Y., Guo, X., & Jin, Y. (2017). "Hardware Trojan Detection through Chip-Free Electromagnetic Side-Channel Statistical Analysis." IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 25(10), 2939-2948.

遴选部分会议论文:

22.     Gao, Y., Ma, H., Yan, M., He, Jiaji*, Zhao, Y., & Jin, Y. (2023, December). "NNLeak: An AI-Oriented DNN Model Extraction Attack through Multi-Stage Side Channel Analysis." In 2023 Asian Hardware Oriented Security and Trust Symposium (AsianHOST) (pp. 1-6). IEEE.

23.     Gao, Y., Zhang, Q., Ma, H., He, Jiaji*, & Zhao, Y. (2023, January). "EO-Shield: A Multi-Function Protection Scheme against Side Channel and Focused Ion Beam Attacks." In Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC) (pp. 670-675).

24.     Ma, H., Pan, S., Gao, Y., He, Jiaji*, Zhao, Y., & Jin, Y. (2022, December). "Vulnerable PQC against Side Channel Analysis-A Case Study on Kyber." In 2022 Asian Hardware Oriented Security and Trust Symposium (AsianHOST) (pp. 1-6). IEEE.

25.     Ma, H., Zhang, Q., Gao, Y., He, Jiaji*, Zhao, Y. and Jin, Y. (2022, July). "PathFinder: Side Channel Protection through Automatic Leaky Paths Identification and Obfuscation." In Proceedings of the 59th ACM/IEEE Design Automation Conference (DAC) (pp. 79-84).

26.     He, Jiaji, Guo, X., Ma, H., Liu, Y., Zhao, Y., & Jin, Y. (2020, July). "Runtime Trust Evaluation and Hardware Trojan Detection Using On-Chip EM Sensors." In Proceedings of the 57th ACM/IEEE Design Automation Conference (DAC).

27.     He, Jiaji, Ma, H., Guo, X., Zhao, Y., & Jin, Y. (2020, January). "Design for EM Side-Channel Security through Quantitative Assessment of RTL Implementations." In 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

28.     Zhang, Q., He, Jiaji, Zhao, Y., & Guo, X. (2020, December). "A Formal Framework for Gate-Level Information Leakage Using Z3." In 2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST). IEEE.

29.     Kuai, J., He, Jiaji, Ma, H., Zhao, Y., Hou, Y., & Jin, Y. (2020, December). "WaLo: Security Primitive Generator for RT-Level Logic Locking and Watermarking." In 2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST). IEEE.

30.     Ma, H., He, Jiaji, Liu, Y., Zhao, Y., & Jin, Y. (2019, December). "CAD4EM-P: Security-driven placement tools for electromagnetic side channel protection." In 2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST) (pp. 1-6). IEEE.

31.     赵毅强,高雅,马浩诚,张启智,叶茂,夏显召,何家骥. 软件定义主动屏蔽层生成及防护技术研究[J].电子学报,2022,50(06):1381-1388.

32.     赵毅强,蒯钧,马浩诚,张启智,高雅,叶茂,何家骥*. 基于遗传算法的抗网表逆向攻击逻辑混淆方法[J]. 电子与信息学报,45(1), 96-105.

33.     赵毅强,王庆雅,马浩诚,张启智,叶茂,王汉宁,何家骥*. 基于数据预处理的侧信道分析优化方法[J]. 电子与信息学报, 45(1), 49-58.

部分授权专利:

1.         芯片级单环型电磁辐射测量标准单元结构,CN106449459A

2.         芯片级多环型电磁辐射测量标准单元结构,CN106449458A

3.         一种基于电磁频谱水印的IP核保护方法,CN106203183A

4.         基于环形振荡器的电路时间延时实时检测装置,CN106330149A

5.         基于电磁和延迟的硬件木马侧信道检测方法,CN106872876A

6.         基于电磁和电流的硬件木马侧信道检测方法,CN106841987A

7.         一种用于时钟切换过程的自动复位结构,CN106100621A

8.         用于减少非易失性存储器中数据残留的方法,CN105957806A

部分受邀报告:

1.         20231015日,2023年集成电路设计与自动化学术会议(CCF DAC 2023)openDACS v3.0-EDA开源论坛,《EMSim+: 基于GAN的测评优化工具》报告。

2.         20221225日,2022年密码芯片学术会议(Crypto IC 2022),《后量子密码算法硬件实现的侧信道安全分析 - Kyber为例》报告。

3.         2022730日,第一届中国计算机学会芯片大会(CCF Chip)openDACS v2.0-EDA开源论坛,《EMSim: 版图级芯片电磁仿真器》报告。

4.         2022729日,第一届中国计算机学会芯片大会(CCF Chip)暨第七届全国硬件安全论坛,《PathFinder: Side Channel Protection through Automatic Leaky Paths Identification and Obfuscation》报告。

5.         2022325日,北京未来芯片技术高精尖创新中心,《车载安全芯片测评与增强技术》报告。

6.         2021113日,中汽中心第三届科技周车联网测试技术研讨会,《汽车芯片硬件安全技术研究》报告。

五、学术服务

1.         长期担任国际高水平期刊IEEE Transactions on Information Forensics and Security (TIFS)IEEE Transactions on Computer-Aided Design of Integrated Circuits And System (TCAD)IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI)Transactions on Design Automation of Electronic Systems (TODAES)ACM Transactions on Embedded Computing Systems (TECS)Computers & SecurityMicroelectronics ReliabilityTsinghua Science and Technology、《电子学报》《电子与信息学报》等期刊审稿人。

2.         Electronics客座编辑。

3.         2021, 2022, 2023 ASP-DAC技术程序委员会成员(TPC Member)

4.         2022 AsianHOST会议分论坛主席(Session Chair)

5.         2023 AsianHOST会议Organization Community成员,Local Chair

6.         杭州技师学院,学术顾问。

六、科创指导

1.         2023年天津大学大学生创新创业训练计划项目,省部级。

七、联系方式

联系地址:天津市南开区,天津大学20楼,微电子学院

邮箱:dochejj@tju.edu.cn

欢迎有意攻读硕、博士的同学加入!团队长期招聘博士后!


学术成果