基于低秩矩阵分解和大间隔学习的硬件木马检测算法研究

项目来源

国家自然科学基金(NSFC)

项目主持人

孙宸

项目受资助机构

工业和信息化部电子第五研究所

项目编号

61801124

立项年度

2018

立项时间

未公开

研究期限

未知 / 未知

项目级别

国家级

受资助金额

21.00万元

学科

信息科学-电子学与信息系统-信号理论与信号处理

学科代码

F-F01-F0111

基金类别

青年科学基金项目

关键词

大间隔学习 ; 低秩矩阵分解 ; 硬件木马检测 ; 机器学习 ; 大间隔学习 ; 低秩矩阵分解 ; 硬件木马检测 ; 机器学习

参与者

周振威;成立业;雷登云;温强;付志伟

参与机构

中国科学院数学与系统科学研究院;工业和信息化部电子第五研究所;广东工业大学

项目标书摘要:集成电路的安全隐患使得我国军事、经济、通信等各个行业难以得到切实有力的安全保障。目前我国自主设计的关键集成电路普遍在非受控工艺线加工制造,这一现状导致了集成电路存在硬件木马的威胁,因此硬件木马检测技术的研究具有使命意义。针对传统人工检测技术不可避免的漏检误差和效率低下的问题,本项目利用机器的精准计算和不知疲惫的特性,考虑工艺波动、环境噪声、测量噪声的影响,研究大规模集成电路硬件木马的智能检测算法。分别针对传统检测方法中的破坏性技术与非破坏性技术展开研究。针对破坏性技术中的批量版图图像,分析实际噪声组成,提出基于混合高斯分布的噪声描述方法,建立基于低秩矩阵分解的模型。针对非破坏性技术中的旁路信号这种微弱信号,充分考虑工艺波动的影响,建立低成本的工艺波动预测方法,消除旁路信号中工艺波动的影响,建立具有判别性的大间隔算法。

Application Abstract: The security of integrated circuits(IC)play a very significant role on China's military,economy,communication and other industries.At present,the key IC designed at home has to manufacture on the controlled production line,which leads to the threat of hardware Trojan.The detection theory and methods have become a hot research topic in the field of integrated circuit.Focusing on the residual error and inefficiency of traditional artificial method,machine learning methods for large scaled integrated circuit are proposed considering the process variations,the environmental noise and the measurement noise.The destructive techniques and non-destructive technologies of traditional detection methods are studied respectively.In view of the map images achieved by reverse engineering,we analyze the noise and describe it based on the mixed Gaussian distribution,and a model based on low rank matrix decomposition is constructed.For side channel signal achieved by non-destructive technology,we consider the process variety,predict them with low cost,and propose an algorithm with high discrimination and max margin.

项目受资助省

广东省

项目结题报告(全文)

随着集成电路从设计到应用的全球化发展,集成电路面临着硬件木马的安全威胁。硬件木马检测准确率受硬件木马检测分辨率和信噪比影响很大。以报道的检测方法往往针对仿真电路,没有实际电路的检测结果。针对我国自主设计的集成电路在非受控工艺线上加工面临的安全隐患,以及现有硬件木马检测方法受噪声影响检测准确率不高的问题,项目开展了基于机器学习的集成电路硬件木马检测算法研究。针对实际电路的版图图像,设计了低秩矩阵分解的硬件木马检测方法,检测准确率达到100%。针对实际电路的旁路信号,设计了大间隔学习的硬件木马检测方法,可以检测出硬件木马分辨率只有1E-5的硬件木马。项目形成了三组硬件木马检测数据,包括一组仿真数据,两组实测数据。研究成果可以用在集成电路的安全性分析,为保障我国集成电路安全性提供了一定的理论支撑,具有良好的社会效益。

  • 排序方式:
  • 1
  • /
  • 1.An R-SIFT Image Matching Intelligent Algorithm Applied to Hardware Trojan Detection

    • 关键词:
    • Integrated circuits;Image matching;Machine learning;Malware;Change detection;Destructive methods;Hardware Trojan detection;Integrated circuits (ICs);Intelligent Algorithms;Scale invariant feature transform algorithms (SIFT);Trojan detections;Weighted averages
    • Sun, Chen;Liang, Pujiang;Li, Lingling;Ma, Jingjing;Jiao, Licheng;Liu, Fang
    • 《2021 International Conference on Cloud Computer, IoT and Intelligence System, CCIIS 2021》
    • 2021年
    • April 11, 2021 - April 12, 2021
    • Beijing, Virtual, China
    • 会议

    Malicious modification, deletion or addition of some modules in the integrated circuits (ICs) will cause the chip to be attacked, which is called Hardware Trojans (HTs). Reverse engineering (RE) is a classic destructive method and widely used in HTs detection. However, RE is very time-consuming and error prone. In this paper, based on RE, we propose the R-SIFT algorithm to match image and reformulate the Trojan detection problem as change detection problem. For the R-SIFT algorithm, the ratio of exponentially weighted averages (Roewa) operator is introduced into the scale-invariant feature transform (SIFT) algorithm. Experiments show that the proposed method has 7 to 56 times more matching points than the original SIFT can be effectively applied to HTs detection.
    © Published under licence by IOP Publishing Ltd.

    ...
  • 2.An R-SIFT Image Matching Intelligent Algorithm Applied to Hardware Trojan Detection

    • 关键词:
    • Integrated circuits;Image matching;Machine learning;Malware;Change detection;Destructive methods;Hardware Trojan detection;Integrated circuits (ICs);Intelligent Algorithms;Scale invariant feature transform algorithms (SIFT);Trojan detections;Weighted averages
    • Sun, Chen;Liang, Pujiang;Li, Lingling;Ma, Jingjing;Jiao, Licheng;Liu, Fang
    • 《2021 International Conference on Cloud Computer, IoT and Intelligence System, CCIIS 2021》
    • 2021年
    • April 11, 2021 - April 12, 2021
    • Beijing, Virtual, China
    • 会议

    Malicious modification, deletion or addition of some modules in the integrated circuits (ICs) will cause the chip to be attacked, which is called Hardware Trojans (HTs). Reverse engineering (RE) is a classic destructive method and widely used in HTs detection. However, RE is very time-consuming and error prone. In this paper, based on RE, we propose the R-SIFT algorithm to match image and reformulate the Trojan detection problem as change detection problem. For the R-SIFT algorithm, the ratio of exponentially weighted averages (Roewa) operator is introduced into the scale-invariant feature transform (SIFT) algorithm. Experiments show that the proposed method has 7 to 56 times more matching points than the original SIFT can be effectively applied to HTs detection.
    © Published under licence by IOP Publishing Ltd.

    ...
  • 排序方式:
  • 1
  • /