Kerckhoffs-Compliant Watermarking for Physical Design IP Protection: From Placement to Routing
本文针对现代VLSI物理设计(PD)知识产权(IP)保护问题,提出了一种名为PDMarks的Kerckhoffs合规水印框架。物理设计IP包含优化后的单元布局、时钟分配和布线决策,是芯片设计流程的核心资产。随着PD工具的可访问性增加,未经授
共收录 154 条相关情报。
← 返回所有主题本文针对现代VLSI物理设计(PD)知识产权(IP)保护问题,提出了一种名为PDMarks的Kerckhoffs合规水印框架。物理设计IP包含优化后的单元布局、时钟分配和布线决策,是芯片设计流程的核心资产。随着PD工具的可访问性增加,未经授
该论文提出了一种利用大型语言模型(LLM)辅助检测和修复 Verilog 硬件设计中的安全漏洞的方法。硬件设计如同软件一样,容易受到引入安全漏洞的缺陷影响,但与软件漏洞不同,硬件缺陷在制造后会被永久嵌入硅片中,难以甚至无法修复。许多此类弱点
本文针对深度神经网络(DNN)在资源受限的神经形态硬件上部署时面临的三个并发挑战——剪枝压缩、对抗输入扰动和硬件故障(如stuck-at-zero权重错误)——进行了系统的实证研究。尽管这些因素在已有文献中均被单独探讨,但它们的联合效应尚未
本文针对当前车载控制网络中控制器局域网(CAN)总线面临的安全威胁,提出了一种基于硬件修改的 unauthorized 传输阻断方法。近年来,针对 CAN 总线的攻击案例层出不穷,而现有车载 ECU 并未内置安全功能,因此需要低成本且有效的
本文提出并验证了 WIGHT,这是首个通过充电线缆在电容触摸屏上制造“幽灵触摸”的有线攻击方法。攻击者只需诱导用户将设备连接到恶意充电端口(如公共充电站),即可在无需触碰屏幕的情况下注入虚假触摸事件,从而操纵设备执行危险操作,例如自动同意恶
本文提出了一类新的非均匀 Rowhammer 访问模式,能够在生产环境中绕过 DRAM 内部专有的目标行刷新(TRR)机制。作者观察到,此前所有已发表的 Rowhammer 攻击模式都是均匀地锤击“攻击者”行,而这种均匀性恰好被 TRR 利
本文提出 AttackGNN,这是首个针对硬件安全领域基于图神经网络(GNN)技术的红队攻击框架。近年来,GNN 被广泛用于集成电路硬件安全任务,如检测知识产权盗版、硬件木马检测与定位、电路逆向工程和硬件混淆等,并取得了很高的准确率。然而,
随着硬件层成为攻击者的重点目标,硬件安全验证技术的改进需求日益迫切。现有最先进的安全验证技术通常需要具备安全专业知识的人员投入大量手动工作,且缺乏标准方法来定位寄存器传输级(RTL)代码中缺陷的具体位置。本文提出 CWEEP,一种用于检测
本研究提出了一种基于二进制 Ring Learning With Errors (RLWE) 同态加密算法的逻辑锁定方案,并将其集成到 RISC-V 系统级芯片 (SoC) 设计中。传统逻辑锁定方法需要向用户提供原始锁定参数,容易暴露敏感信
该论文系统研究了DRAM读取干扰(Read Disturbance)现象,特别是RowHammer和RowPress两种导致未访问存储单元发生意外比特翻转的可靠性问题。当前学术界存在两条研究路径:实验表征(通过真实芯片测试统计翻转行为)和器
本文提出 CHARGE,一个面向硬件安全验证的自动化框架,利用 CWE(Common Weakness Enumeration)层次结构和大型语言模型(LLM)为未经验证的 RTL(寄存器传输级)模块自动生成安全属性(SystemVeril
本文提出 Granite,一种用于对 RTL 级处理器设计进行模块化形式验证的方法论,旨在同时验证功能正确性和非泄漏性(nonleakage)。基于 ISA 泄漏契约,Granite 证明了带有推测执行、精确中断和 I/O 的流水线 RIS
该论文提出了一种硬件-软件协同设计方法,旨在解决可信执行环境(如Intel SGX)中飞地内部隔离效率低下的问题。现有飞地设计通常将整个应用放在同一个安全边界内,缺乏内部隔离机制,导致一旦飞地内某个组件被攻破,整个飞地数据都会泄露。作者设计
该论文针对物联网智能锁设备,从信息物理安全角度提出了一种利用有意电磁干扰(IEMI)实现‘无线尖峰攻击’的方法。作者首先对一款市售智能锁进行逆向工程,识别其电子控制电路的关键攻击点(如电源线、信号线等),然后设计了特定的攻击信号波形,通过外
该论文针对现代系统级芯片(SoC)中硬件木马(HT)检测的可扩展性问题提出了一种新颖方法。由于SoC包含数亿至数百亿门电路,现有HT检测方法因规模庞大而不可行。作者将平铺的门级网表建模为以与-逆变图(AIG)表示的布尔网络,其中所有内部节点
该论文提出一种名为Oreo的软硬件协同设计方法,旨在加强地址空间布局随机化(ASLR)对抗微架构侧信道攻击的能力。ASLR是目前广泛部署的内存破坏防御机制,通过随机化进程的虚拟地址来防止攻击者获知程序内容在内存中的位置。然而,微架构侧信道攻
该论文提出了一种名为PATCH-FFT的基于补丁的Transformer架构,用于通过频域分析功率迹线检测休眠态的硬件木马。硬件木马(HT)是恶意实体嵌入集成电路中的恶意电路,通常通过功率侧信道隐秘泄露敏感信息,并在触发条件激活前保持休眠状
该论文研究了基于延迟的物理不可克隆函数(PUF)中的硬件木马插入问题。PUF 利用制造过程中的延迟变化实现设备认证和密钥生成,但其非确定性特性使得恶意逻辑难以被检测。作者提出了一个统一的仿真框架,用于评估多种延迟型 PUF 架构(如仲裁器
本文针对传统硬件特洛伊木马检测方法难以发现休眠态木马的问题,提出一种基于神经控制微分方程(NCDE)和功率迹分析的早期检测与预测方法。该方法首先在无木马数据上训练NCDE模型,学习芯片的正常功耗行为模式;随后结合线性判别分析(LDA)分类器
论文提出 SPARC,一个自动化的预硅功耗侧信道泄漏(PSCL)评估与根因分析框架。PSCL 源自处理器架构和微架构的偶然因素,对密码软件的机密性构成严重威胁。现有方案受限于仿真可扩展性差,或无法将泄漏归因于正确的硬件信号和软件指令,阻碍了