Benchmarking Advanced Security Closure of Physical Layouts: ISPD 2023 Contest

Mohammad Eslami, J. Knechtel, O. Sinanoglu, R. Karri, S. Pagliarini
{"title":"Benchmarking Advanced Security Closure of Physical Layouts: ISPD 2023 Contest","authors":"Mohammad Eslami, J. Knechtel, O. Sinanoglu, R. Karri, S. Pagliarini","doi":"10.1145/3569052.3578924","DOIUrl":null,"url":null,"abstract":"Computer-aided design (CAD) tools traditionally optimize \"only'' for power, performance, and area (PPA). However, given the wide range of hardware-security threats that have emerged, future CAD flows must also incorporate techniques for designing secure and trustworthy integrated circuits (ICs). This is because threats that are not addressed during design time will inevitably be exploited in the field, where system vulnerabilities induced by ICs are almost impossible to fix. However, there is currently little experience for designing secure ICs within the CAD community. This contest seeks to actively engage with the community to close this gap. The theme is security closure of physical layouts, that is, hardening the physical layouts at design time against threats that are executed post-design time. Acting as security engineers, contest participants will proactively analyse and fix the vulnerabilities of benchmark layouts in a blue-team approach. Benchmarks and submissions are based on the generic DEF format and related files. This contest is focused on the threat of Trojans, with challenging aspects for physical design in general and for hindering Trojan insertion in particular. For one, layouts are based on the ASAP7 library and rules are strict, e.g., no DRC issues and no timing violations are allowed at all. In the alpha/qualifying round, submissions are evaluated using first-order metrics focused on exploitable placement and routing resources, whereas in the final round, submissions are thoroughly evaluated (red-teamed) through actual insertion of different Trojans.","PeriodicalId":169581,"journal":{"name":"Proceedings of the 2023 International Symposium on Physical Design","volume":"58 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2023 International Symposium on Physical Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3569052.3578924","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Computer-aided design (CAD) tools traditionally optimize "only'' for power, performance, and area (PPA). However, given the wide range of hardware-security threats that have emerged, future CAD flows must also incorporate techniques for designing secure and trustworthy integrated circuits (ICs). This is because threats that are not addressed during design time will inevitably be exploited in the field, where system vulnerabilities induced by ICs are almost impossible to fix. However, there is currently little experience for designing secure ICs within the CAD community. This contest seeks to actively engage with the community to close this gap. The theme is security closure of physical layouts, that is, hardening the physical layouts at design time against threats that are executed post-design time. Acting as security engineers, contest participants will proactively analyse and fix the vulnerabilities of benchmark layouts in a blue-team approach. Benchmarks and submissions are based on the generic DEF format and related files. This contest is focused on the threat of Trojans, with challenging aspects for physical design in general and for hindering Trojan insertion in particular. For one, layouts are based on the ASAP7 library and rules are strict, e.g., no DRC issues and no timing violations are allowed at all. In the alpha/qualifying round, submissions are evaluated using first-order metrics focused on exploitable placement and routing resources, whereas in the final round, submissions are thoroughly evaluated (red-teamed) through actual insertion of different Trojans.
对标物理布局的高级安全关闭:ISPD 2023竞赛
计算机辅助设计(CAD)工具传统上只针对功率、性能和面积(PPA)进行优化。然而,考虑到已经出现的广泛的硬件安全威胁,未来的CAD流程还必须包含设计安全和可靠集成电路(ic)的技术。这是因为在设计阶段未解决的威胁将不可避免地在现场被利用,而由ic引起的系统漏洞几乎无法修复。然而,目前在CAD社区中很少有设计安全ic的经验。本次竞赛旨在与社区积极接触,以缩小这一差距。主题是物理布局的安全封闭,即在设计时加固物理布局,以抵御设计后执行的威胁。作为安全工程师,参赛者将以蓝队的方式主动分析和修复基准布局的漏洞。基准测试和提交基于通用DEF格式和相关文件。本次比赛的重点是木马的威胁,具有挑战性的方面,一般物理设计,特别是阻止木马插入。首先,布局是基于ASAP7库的,规则是严格的,例如,没有DRC问题,不允许任何时间违规。在alpha/资格赛中,提交的内容将使用一阶指标进行评估,重点关注可利用的位置和路由资源,而在最后一轮中,提交的内容将通过实际插入不同的木马进行彻底评估(红队)。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
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学术文献互助群
群 号:604180095
Book学术官方微信