检测硬件描述语言中的漏洞:操作码语言处理

IF 1.7 4区 计算机科学 Q3 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
Alaaddin Goktug Ayar;Abdullah Sahruri;Sercan Aygun;Mehran Shoushtari Moghadam;M. Hassan Najafi;Martin Margala
{"title":"检测硬件描述语言中的漏洞:操作码语言处理","authors":"Alaaddin Goktug Ayar;Abdullah Sahruri;Sercan Aygun;Mehran Shoushtari Moghadam;M. Hassan Najafi;Martin Margala","doi":"10.1109/LES.2023.3334728","DOIUrl":null,"url":null,"abstract":"Detecting vulnerable code blocks has become a highly popular topic in computer-aided design, especially with the advancement of natural language processing (NLP). Analyzing hardware description languages (\n<monospace>HDLs</monospace>\n), such as Verilog, involves dealing with lengthy code. This letter introduces an innovative identification of attack-vulnerable hardware by the use of \n<monospace>opcode</monospace>\n processing. Leveraging the advantage of architecturally defined \n<monospace>opcodes</monospace>\n and expressing all operations at the beginning of each code line, the word processing problem is efficiently transformed into \n<monospace>opcode</monospace>\n processing. This research converts a benchmark dataset into an intermediary code stack, subsequently classifying secure and fragile codes using NLP techniques. The results reveal a framework that achieves up to 94% accuracy when employing sophisticated convolutional neural networks (CNNs) architecture with extra embedding layers. Thus, it provides a means for users to quickly verify the vulnerability of their \n<monospace>HDL</monospace>\n code by inspecting a supervised learning model trained on the predefined vulnerabilities. It also supports the superior efficacy of \n<monospace>opcode</monospace>\n-based processing in Trojan detection by analyzing the outcomes derived from a model trained using the \n<monospace>HDL</monospace>\n dataset.","PeriodicalId":56143,"journal":{"name":"IEEE Embedded Systems Letters","volume":"16 2","pages":"222-226"},"PeriodicalIF":1.7000,"publicationDate":"2023-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Detecting Vulnerability in Hardware Description Languages: Opcode Language Processing\",\"authors\":\"Alaaddin Goktug Ayar;Abdullah Sahruri;Sercan Aygun;Mehran Shoushtari Moghadam;M. Hassan Najafi;Martin Margala\",\"doi\":\"10.1109/LES.2023.3334728\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Detecting vulnerable code blocks has become a highly popular topic in computer-aided design, especially with the advancement of natural language processing (NLP). Analyzing hardware description languages (\\n<monospace>HDLs</monospace>\\n), such as Verilog, involves dealing with lengthy code. This letter introduces an innovative identification of attack-vulnerable hardware by the use of \\n<monospace>opcode</monospace>\\n processing. Leveraging the advantage of architecturally defined \\n<monospace>opcodes</monospace>\\n and expressing all operations at the beginning of each code line, the word processing problem is efficiently transformed into \\n<monospace>opcode</monospace>\\n processing. This research converts a benchmark dataset into an intermediary code stack, subsequently classifying secure and fragile codes using NLP techniques. The results reveal a framework that achieves up to 94% accuracy when employing sophisticated convolutional neural networks (CNNs) architecture with extra embedding layers. Thus, it provides a means for users to quickly verify the vulnerability of their \\n<monospace>HDL</monospace>\\n code by inspecting a supervised learning model trained on the predefined vulnerabilities. It also supports the superior efficacy of \\n<monospace>opcode</monospace>\\n-based processing in Trojan detection by analyzing the outcomes derived from a model trained using the \\n<monospace>HDL</monospace>\\n dataset.\",\"PeriodicalId\":56143,\"journal\":{\"name\":\"IEEE Embedded Systems Letters\",\"volume\":\"16 2\",\"pages\":\"222-226\"},\"PeriodicalIF\":1.7000,\"publicationDate\":\"2023-11-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Embedded Systems Letters\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10324337/\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Embedded Systems Letters","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10324337/","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0

摘要

检测易受攻击的代码块已成为计算机辅助设计领域的热门话题,尤其是随着自然语言处理技术(NLP)的发展。分析硬件描述语言(HDL),如 Verilog,需要处理冗长的代码。这封信介绍了一种通过使用操作码处理来识别易受攻击硬件的创新方法。利用架构定义操作码的优势,并在每行代码的开头表达所有操作,可以高效地将文字处理问题转化为操作码处理问题。这项研究将基准数据集转换为中间代码堆栈,随后使用 NLP 技术对安全代码和脆弱代码进行分类。研究结果表明,当采用带有额外嵌入层的复杂卷积神经网络(CNN)架构时,该框架的准确率可达 94%。因此,它为用户提供了一种方法,通过检查根据预定义漏洞训练的监督学习模型,快速验证其 HDL 代码的脆弱性。它还通过分析使用 HDL 数据集训练的模型得出的结果,支持基于操作码的处理在木马检测中的卓越功效。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Detecting Vulnerability in Hardware Description Languages: Opcode Language Processing
Detecting vulnerable code blocks has become a highly popular topic in computer-aided design, especially with the advancement of natural language processing (NLP). Analyzing hardware description languages ( HDLs ), such as Verilog, involves dealing with lengthy code. This letter introduces an innovative identification of attack-vulnerable hardware by the use of opcode processing. Leveraging the advantage of architecturally defined opcodes and expressing all operations at the beginning of each code line, the word processing problem is efficiently transformed into opcode processing. This research converts a benchmark dataset into an intermediary code stack, subsequently classifying secure and fragile codes using NLP techniques. The results reveal a framework that achieves up to 94% accuracy when employing sophisticated convolutional neural networks (CNNs) architecture with extra embedding layers. Thus, it provides a means for users to quickly verify the vulnerability of their HDL code by inspecting a supervised learning model trained on the predefined vulnerabilities. It also supports the superior efficacy of opcode -based processing in Trojan detection by analyzing the outcomes derived from a model trained using the HDL dataset.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
IEEE Embedded Systems Letters
IEEE Embedded Systems Letters Engineering-Control and Systems Engineering
CiteScore
3.30
自引率
0.00%
发文量
65
期刊介绍: The IEEE Embedded Systems Letters (ESL), provides a forum for rapid dissemination of latest technical advances in embedded systems and related areas in embedded software. The emphasis is on models, methods, and tools that ensure secure, correct, efficient and robust design of embedded systems and their applications.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信