PRISM: Sensitivity-Aware PolynoMial PRuning for EffIcient Neural Network Encryption
本文研究了同态加密(HE)环境下神经网络推理的结构化剪枝对模型可靠性的影响,并提出了多项式敏感度感知剪枝方法(PSAP)。背景:同态加密允许对加密数据进行计算,但计算开销大,结构化剪枝是降低开销的关键技术,然而剪枝可能引入可靠性问题,如对位
共收录 101 条相关情报。
← 返回所有主题本文研究了同态加密(HE)环境下神经网络推理的结构化剪枝对模型可靠性的影响,并提出了多项式敏感度感知剪枝方法(PSAP)。背景:同态加密允许对加密数据进行计算,但计算开销大,结构化剪枝是降低开销的关键技术,然而剪枝可能引入可靠性问题,如对位
该论文研究现代云平台中容器和虚拟机(VM)之间通过共享页面缓存(page cache)产生的微架构时序侧信道泄漏问题。云平台为提升性能,通常让租户共享主机硬件资源,同时通过软件隔离(如容器、gVisor、Kata Containers、QE
SABLE: Minimalist Instruction-Level Authenticated Encryption for Constrained Confidential Computing
该论文提出了一种名为Vogls的开源Verilog模拟器,专门用于预硅功耗侧信道分析。现有功能验证模拟器(如Icarus Verilog和Verilator)在侧信道分析场景中存在不足:它们要么无法高效生成大量短迹线,要么缺乏精细的定时模型
本论文针对嵌入式安全关键系统中部署深度神经网络等复杂算法时面临的安全性与资源效率矛盾问题展开研究。现有硬件(GPU、NPU、TPU)以吞吐量为设计目标,忽视计算正确性,易受故障注入攻击(特别是比特翻转攻击);而软件量化方案要么静态且正确但功
ColumnDisturb 是一种新型的数据干扰错误,当 DRAM 中某一行(攻击行)被激活时,会导致数百行之外的受害者行(子阵列内位翻转)以及相邻子阵列中的受害者行(子阵列间位翻转)发生位翻转。现有的子阵列级解决方案(如 SALT 和 R
该论文提出动态Rowhammer阈值管理(Dynamic Rowhammer Threshold Management),一种与具体防御方法无关的运行层,用于解决传统Rowhammer防御在制造时固定阈值(TRHD)而忽略运行温度变化的问题
本文提出嵌入式区块链基础设施管理(eBIM)概念,这是一种基于RISC-V开放指令集架构的软硬件协同设计框架,旨在解决当前区块链基础设施管理中的信任、灵活性和数据主权问题。传统区块链即服务(BaaS)模型将基础设施控制权外包给第三方服务商,
现代数据中心日益依赖大规模 GPU 集群和现场可再生能源,导致计算负载与电力电子主导电网之间形成紧密耦合的物理信息系统。本文提出了一种此前未被探索的脆弱性 Bit2Watt:攻击者通过操纵 GPU 工作负载,诱导受控的高频功率调制,从而破坏
该论文提出SABLE(Safe Analog Boundary for LLM-driven EDA),一个在工业模拟集成电路设计流程中安全使用大语言模型(LLM)进行电路优化的无保密协议(NDA)安全闭环框架。工业模拟EDA流程涉及代工厂
本论文提出了一种针对标准单元库的新型硬件木马(HT)威胁模型,并开发了相应的风险评估与预防方法。在无晶圆厂半导体制造模式下,设计方将版图交由代工厂制造,这为恶意HT插入提供了可乘之机。现有研究多关注标准单元之间的空白区域,但本文首次深入分析
后量子密码学(PQC)和隐私保护技术将在未来安全通信系统中发挥核心作用。基于格的PQC方案(如ML-KEM和ML-DSA)严重依赖大度数多项式运算,数论变换(NTT)成为关键计算原语。现有硬件加速器虽利用并行和流水线支持NTT及逆变换(IN
本文聚焦后量子密码标准ML-KEM(即Kyber)在硬件实现中面临的侧信道攻击威胁。ML-KEM的解封装过程包含Fujisaki-Okamoto(FO)验证步骤,该步骤对功耗和电磁侧信道分析特别敏感。作者针对常见的FPGA实现和微控制器实现
该论文针对硬件性能测试报告的可信度问题提出了一种自验证的测量记录方法。当前硬件基准测试结果通常依赖读者信任,但实际中可能存在硬件错误(例如每千个核心中约有一个返回无错误提示的错误算术结果)。作者构建了一种防篡改、可独立验证的测量记录结构:论
本文探讨了纳米机电系统(NEMS)作为一种新兴硬件安全原语在先进封装和半导体制造中的应用。随着硬件安全威胁(如篡改、伪造和供应链渗透)不断升级,现有数字安全方法面临逆向工程、侧信道攻击和环境退化等挑战。作者提出利用NEMS的机械不可预测性和
随着机密计算技术的日益普及,将数据库运行在机密虚拟机(CVM,如AMD SEV-SNP)中已成为保护云端敏感数据的一种有吸引力的方式,且对传统数据库管理系统(DBMS)的改动极小。然而,在这类CVM中执行分析查询往往伴随着显著的性能开销。先
该论文提出了一种用于云GPU租户对物理加速器进行软件认证的原始方法。当前云GPU租户只能获得模型名称和区域,无法直接检查运行其任务的物理加速器。作者利用CUDA探针测量SM(流多处理器)与内存区域之间的延迟矩阵,通过物理SM标签和依赖的全局
现代DRAM芯片容易受到读取干扰现象的影响,例如RowHammer和RowPress,这些现象会在访问相邻行一定次数后导致比特翻转。ColumnDisturb是一种全新的、根本不同的DRAM读取干扰现象。与RowHammer和RowPres
本论文首次揭示了NVIDIA L40 GPU的L2缓存延迟并非传统认为的全局一致,而是随执行加载指令的流式多处理器(SM)的不同而显著变化。作者设计了一种基于轮询和SMID解析的探测方法,能够单次启动即可测量全部142个SM的L2命中延迟。
本研究首次实验展示了 DejaVu 现象,即之前写入 DRAM 单元的数据会影响 DRAM 对读取干扰的脆弱性。通过对三大制造商(三星、SK海力士、美光)的112个商用DDR4 DRAM芯片进行系统表征,研究者发现:与仅写入一次的基线相比,