A Detection Method of Hardware Trojans Based on RTL

CHENG Xiang; LI Lei; CHENG Wei

Chinese

您当前的位置：

首页 >

文章列表页 >

A Detection Method of Hardware Trojans Based on RTL

更新时间：2026-09-04

- A Detection Method of Hardware Trojans Based on RTL
- Vol. 34, Issue 3, Pages: 56-60(2017)
- 作者机构：
  
  电子科技大学电子科学技术研究院,四川,成都,610054
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2017
- 稿件说明：
移动端阅览
成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60.

CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. 2017, 34(3): 56-60.
成祥, 李磊, 程伟. 基于RTL级硬件木马的检测方法[J]. 微电子学与计算机, 2017, 34(3): 56-60. DOI：

CHENG Xiang, LI Lei, CHENG Wei. A Detection Method of Hardware Trojans Based on RTL[J]. 2017, 34(3): 56-60. DOI：

摘要

随着集成电路产业的飞速发展和产业布局的改变

交由第三方设计制造的芯片越来越流行

如何保证芯片设计安全成为了人们日益关注的问题.对此

以目前硬件木马检测的主要方法为背景

以AES木马为基准电路

从RTL级语言结构出发

依据perl语言强大的文本匹配能力

提出了一种基于Verilog IEEE标准的RTL级硬件木马的分析方法

以期从源头上保证硬件木马设计的安全性.

Abstract

With the development of the integrated circuits and the transform of industrial distribution

it becomes more and more popular for some company to rely on the third party to design their chips. To ensure the sercurity of chip design flow has become the concern of people. With the context of the main detections of Hardware Trojan

the paper proposed a method to detect the RTL level HTs

based on the verilog IEEE characteristics and the AES benchmarks and the powerful capability of text-matching of perl

thus

to ensure security from the initial design.

关键词

Keywords

references

Kan Xiao, Domenic Forte, Mohammed Tehranipoor, et al. A novel built-In self-authentication technique to prevent inserting hardware Trojans[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2014, 33(12): 1778-1791. DOI: 1778

房磊. 基于门级网表的硬件木马检测技术研究[D]. 成都: 电子科技大学, 2014.

Jie Zhang, Qiang Xu. On hardware Trojan design and implementation at register-transfer level[C]//IEEE International Symposium on Hardware-Oriented Security and Trust (HOST). Austin: IEEE, 2013: 107-112.

Liu Huafeng, Luo Hongwei, Wang Liwei, et al. Design of hardware Trojan horse based on counter[C]//IEEE International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering. Xi'an: IEEE, 2011: 1007-1009.

唐棠. 基于旁路分析的硬件木马检测技术研究[D]. 成都: 电子科技大学, 2014.

Mainak Banga, Michael S Hsiao. Trusted RTL: Trojan detection methodology in pre-sSilicon designs[C]//IEEE International Symposium on Hardware-Oriented Security and Trust. Anaheim: IEEE, 2010: 56-59.

李振. 数字类型的硬件木马设计实现与分析[D]. 成都: 电子科技大学, 2011.

李雄伟, 王晓晗, 张阳, 等. 基于多旁路综合分析的硬件木马检测方法[J], 计算机仿真, 2015, 32(3): 216-219. DOI: 216

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Design of MAC Controller Based on FPGA

Implementation and verification of a dual-chain power gating strategy for low power design

Lightweight countermeasures against Spectre attacks on the branch prediction unit

Microservices anomaly detection based on the correlation of monitoring metrics

Aerial small object detection algorithm based on improved RT-DETR

Related Author

WANG Shi-yu

HE Zhan-zhuang

ZHANG Sheng-bing

Related Institution

1 College of Software, Northwestern Polytechnical University, Xi′an

2 Xi′an Institute of Microelectronics Technology, Xi′an

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰