-
公开(公告)号：CN114692227B
公开(公告)日：2023-05-09
申请号：CN202210319027.1
申请日：2022-03-29
Applicant: 电子科技大学
IPC: G06F21/76 , G06F18/23213
Abstract: 本发明公开了一种规模化芯片网表级硬件木马检测方法，该方法首先提取芯片网表的节点信息，并将网表根据寄存器划分为多个组合电路模块，然后根据芯片电路结构计算每一个节点的电路深度，并根据电路深度初始化每一个模块输入节点的特征值，接着利用多线程提取这些模块中每个节点的可控性和可观察性特征值，最后将每个节点对应的特征值输入到k‑means聚类网络中进行聚类分析。本发明分别对每个模块进行特征值计算，可大大缩短检测时间；并将所有节点的特征值向量输入到K‑means神经网络中聚类判断芯片中是否含有硬件木马，可有效提高大规模芯片的木马检测时间效率。
-
公开(公告)号：CN113094646B
公开(公告)日：2023-04-28
申请号：CN202110322262.X
申请日：2021-03-25
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于矩阵联合近似对角化的矩阵数据处理系统及方法，属于通信数据处理领域，本发明基于FPGA平台，具有脉动阵列、流水线处理思想，对传统数据处理进行了并行化设计，兼有多种优点，既可以在较短的时间内完成算法的计算，也同时在保证计算速度的同时兼顾了硬件资源开销，并且基于模块化的设计具有较好的移植性。
-
公开(公告)号：CN111428246B
公开(公告)日：2023-04-18
申请号：CN202010234149.1
申请日：2020-03-30
Applicant: 电子科技大学
IPC: G06F21/57
Abstract: 本发明公开了一种面向自主芯片硬件安全的逻辑漏洞深度挖掘方法，涉及芯片硬件安全技术领域，包括：对芯片HDL源代码进行等效变换；采用ATPG初步提取等效变换后的HDL源代码中的FSM；对初步提取到的FSM进行补全，得到完整的FSM；根据互斥性、完备性、死状态和活状态条件，从完整的FSM中挖掘基本逻辑漏洞，互斥性漏洞、完备性漏洞、死状态漏洞和活状态漏洞均为基本逻辑漏洞；若基本逻辑漏洞包括活状态或死状态漏洞，则继续挖掘传播型漏洞。本发明方法以HDL代码为输入，以FSM为主要研究对象，该方法能够从自主芯片HDL源代码中挖掘出多种类型的硬件逻辑漏洞，使得设计者和使用者能够采取相应的弥补和防范措施。
-
公开(公告)号：CN114996062A
公开(公告)日：2022-09-02
申请号：CN202210505611.6
申请日：2022-05-10
Applicant: 电子科技大学
IPC: G06F11/22
Abstract: 本发明公开了一种芯片版图级隐化硬件木马测试集生成方法，该方法首先利用一个电路的寄存器传输级RTL代码得到芯片版图布局结果，并由此获取芯片版图信息点集合；然后分析芯片版图布局结果中空白布局空间和布线完成后的未使用布线空间，得到芯片版图脆弱性矩阵；选取芯片版图脆弱性矩阵中的低脆弱性点进行硬件木马植入以生成芯片版图级隐化硬件木马测试集。本发明在集成电路物理场脆弱性分析的基础上，针对版图级硬件木马攻击方式，提出的硬件木马测试集生成方法通过对芯片版图信息进行分析，并对芯片版图进行修改，得到了一种隐蔽性较好的硬件木马测试集，可以推动硬件木马检测技术的发展，提升芯片的防御能力。
-
公开(公告)号：CN108733404B
公开(公告)日：2021-10-15
申请号：CN201810524531.9
申请日：2018-05-28
Applicant: 电子科技大学
Abstract: 本发明公开了一种针对FPGA固件的精准逆向工程方法，包括如下步骤：S1、截获比特流数据，并将其保存为比特流文件；S2、使用EDA工具获取FPGA结构信息，根据FPGA结构信息，使用映射生成器生成比特流映射信息，并将FPGA结构信息和比特流映射信息输入数据库；S3、根据比特流映射信息，使用比特流逆向工具将比特流文件进行逆向，并还原成网表文件；S4、结合FPGA结构信息，使用网表逆向工具从网表文件中恢复出功能等价的RTL代码，并输出代码文件。本发明解决了现有技术存在的FPGA逆向工程精确度低、完整度不足以及FPGA设计的安全性与可靠性低的问题。
-
Patent Agency Ranking
-
公开(公告)号：CN113094646A
公开(公告)日：2021-07-09
申请号：CN202110322262.X
申请日：2021-03-25
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于矩阵联合近似对角化的矩阵数据处理系统及方法，属于通信数据处理领域，本发明基于FPGA平台，具有脉动阵列、流水线处理思想，对传统数据处理进行了并行化设计，兼有多种优点，既可以在较短的时间内完成算法的计算，也同时在保证计算速度的同时兼顾了硬件资源开销，并且基于模块化的设计具有较好的移植性。
-
公开(公告)号：CN110287735B
公开(公告)日：2021-05-04
申请号：CN201910597285.4
申请日：2019-07-04
Applicant: 电子科技大学
Abstract: 本发明实施例提供的一种基于芯片网表特征的木马感染电路识别方法，涉及硬件安全技术领域，该方法利用芯片网表的SCOAP度量值和k‑means++聚类网络，初步检测出可疑节点集，然后结合芯片网表的拓扑结构，进一步修正可疑节点集，其后，通过节点可达分析，能够还原同一木马触发模块的所有节点，并且完备地检测出宿主电路中所有被木马感染的电路。
-
公开(公告)号：CN110071784B
公开(公告)日：2020-08-18
申请号：CN201910338421.8
申请日：2019-04-25
Applicant: 电子科技大学
Abstract: 本发明公开了一种ADS‑B航空监视系统中的航空器定位系统及方法，该系统包括报文信息接收模块、报文解算定位模块、无源定位模块和轨迹滤波分析模块；报文信息接收模块分别和报文解算定位模块和无源定位模块连接；报文解算定位模块和无源定位模块还均与轨迹滤波分析模块连接。本发明提供的ADS‑B航空监视系统中的航空器定位系统及方法采用无源定位对轨迹滤波算法，结合报文解算信息，提高了航空器的定位精度，提高了航空监视系统的性能，具有实现效果简单，监视效果优良的特点。
-
公开(公告)号：CN111414622A
公开(公告)日：2020-07-14
申请号：CN202010222119.9
申请日：2020-03-26
Applicant: 电子科技大学
IPC: G06F21/56 , G06F16/901
Abstract: 本发明公开了一种针对IP固核网表的硬件后门移除方法，首先基于有向图模型，可以成功地找到硬件木马电路的起始端，即木马起始挂载节点；然后固化起始挂载节点，删除无效逻辑单元，可以成功地切断木马电路和主电路之间的连接，并将木马电路固定在未触发状态；最后向后传播固态信号，利用真值表消除冗余项方法，逐层修改木马电路。经过与木马插入前的网表文件对比，本发明可以成功删除掉硬件木马电路，且不会对网表的正常功能造成影响。本发明为修复存在硬件后门的网表提供了一种有效的方法，在IP固核修正后再利用方面具有重要意义。
-
-
-
-
-
-
-
-
-
Search Results
117
records
(took 0.033 seconds)
