obliv-clang: Real-World Oblivious Programming in C++
本文提出 obliv-clang,一个面向 C++ 的编译期检查工具,旨在帮助开发者编写 oblivious(无感知)程序,以防止通过执行时间和数据访问模式泄露秘密的侧信道攻击。传统的侧信道防御通常需要程序员手动改写代码或依赖硬件机制,但
共收录 186 条相关情报。
← 返回所有主题本文提出 obliv-clang,一个面向 C++ 的编译期检查工具,旨在帮助开发者编写 oblivious(无感知)程序,以防止通过执行时间和数据访问模式泄露秘密的侧信道攻击。传统的侧信道防御通常需要程序员手动改写代码或依赖硬件机制,但
该论文揭示了一种5G物理层侧信道攻击方法。5G加密了传统控制信道,使先前的空中指纹攻击失效。然而,作者发现由于蜂窝通信标准强制规定了链路自适应机制,上行链路的调制与编码方案(MCS)保持稳定,因此传输占用的物理资源块(PRB)数量能够准确反
本文针对硬件实现密码算法时抵抗侧信道攻击(SCA)的掩码(masking)对策,提出了一种低延迟的硬件私有电路设计方法。掩码是保护密码硬件免受侧信道攻击的有效手段,但现有方案在随机性需求、延迟和面积开销之间存在权衡。作者专注于设计可组合的掩
该论文提出了一种名为CIPHERLEAKS的新型侧信道攻击,针对AMD SEV(安全加密虚拟化)环境中运行的常数时间密码实现。传统上,常数时间密码算法被认为能有效防御基于执行时间的侧信道攻击,但CIPHERLEAKS通过分析加密输出的密文本
该论文系统化了针对密码学实现中时序攻击的防御手段——恒定时间(Constant Time)编程模型。尽管恒定时间编程是抵御时序攻击的主要防线,但学术界和工业界对“恒定时间”的定义和模型理解存在差异。本文首先回顾并整理了恒定时间模型的历史演化
这篇论文提出了一种名为SCP(Secure and Coherent Partitioning)的缓存分区方案,旨在解决传统缓存分区在安全共享操作系统环境中面临的根本矛盾:严格的驱逐隔离与写共享一致性无法共存。SCP通过仅分区标签(tags
本文提出 RadKey,一种基于射频反向散射的穿墙按键窃听系统。该系统由两个组件构成:一个紧凑的无源反向散射标签和一个射频阅读器。标签利用两个磁耦合 LC 谐振器捕获按键引起的振动和声学信号,并将其调制到反向散射射频信号的频移上,同时实现激
本文研究了基于查询的数据匿名化系统中存在的侧信道攻击问题。数据匿名化是计算机隐私领域的一个长期挑战,一种常见的实践方法是向分析人员提供查询接口,并在每次查询时动态进行匿名化处理。这种方法通常依赖标准数据库后端,并直接向分析人员暴露数据库的查
该论文研究了基于低功耗蓝牙(BLE)设备中允许列表(allowlist)机制的侧信道攻击。BLE设备通常使用允许列表来限制连接和扫描响应,仅与已配对的设备通信。然而,攻击者可以通过被动监听BLE信道,观察设备是否响应扫描请求,从而推断设备是
该论文研究了公共科学计量发布中可能泄露隐藏设置的侧信道风险。作者将这种风险形式化为一个基于统计的侧信道审计框架,用于量化从发布的频谱数据中推断受保护参数的可能性。具体而言,释放映射提供功率谱密度(PSD)的有限频带统计;一个带有明确预算的p
该论文聚焦于物联网(IoT)网络入侵检测中的类别不平衡问题。侧信道功率数据集中正常样本与攻击样本的比例可达75,964比1,严重影响了机器学习模型的检测性能。此前Dominguez等人提出了基于功率的入侵检测概念验证,但未处理类别不平衡,也
该论文研究在人工智能驱动的自适应对手优化下,公钥密码学(PKC)安全性的侵蚀问题。核心问题是算法中心的密码安全模型与操作攻击现实之间的日益不匹配:现代攻击者不再直接破解底层密码基元,而是利用实现层面的可观测性(如侧信道、时序差异、错误处理等
大型语言模型(LLM)依赖键值(KV)缓存加速推理,许多服务系统进一步在用户请求间共享KV缓存以减少冗余计算。然而,无限制的跨用户共享引入了侧信道漏洞,攻击者可以通过探测缓存是否命中来推断用户输入。现有防御完全禁用共享以避免泄漏,但这种粗粒
本文针对密码系统侧信道攻击的掩码防御机制,提出了一种基于概率分离逻辑的形式化验证方法,用于自动验证掩码算法的非干扰性安全属性。作者首先建立了非干扰性与条件独立性之间的数学联系,从而将安全验证问题转化为条件独立性推理问题。随后,利用现有的Li
本文针对嵌入式微控制器(如ARM Cortex-M4)上神经网络推理过程中的激活函数(ReLU, sigmoid, tanh, GELU, Swish)存在的时序侧信道泄露问题,提出了一种常量时间(constant-time)实现方法。该方
本研究探讨了在增强现实/虚拟现实(AR/VR)环境中,利用用户的头部运动作为侧信道来窃取键盘输入。作者提出了一种攻击方法,通过分析用户佩戴AR/VR头显时自然产生的头部运动(如打字时头部微小的摆动),使用深度学习模型将运动模式映射到键盘按键
本文首次揭示了无线充电接口存在功率侧信道攻击漏洞。当智能手机通过无线充电器进行充电时,其活动状态会通过电流变化泄露给充电器发射端。研究者设计并实现了网站指纹识别攻击:在iPhone 11和Google Pixel 4上,通过分析无线充电过程
本文针对侧信道分析领域长期存在的挑战——手动分析效率低、依赖预定义目标事件和已知信道、难以规模化——提出了一种名为SCAgent的自动化框架。该框架利用LLM(大型语言模型)驱动的智能体,通过系统探索自动识别敏感事件(如用户或系统行为),避
本文提出了首次完全远程的内存去重攻击。内存去重是一种通过合并相同内存块为写时复制映射来减少内存占用的技术。此前的研究表明,内存去重可被用于本地攻击,如破坏ASLR、监视其他程序或检测数据存在(如网页图片)。这些攻击跨安全域利用内存去重,因此
后量子密码学旨在抵抗量子计算机构成的威胁,其中基于编码理论的McEliece和BIKE(Bit Flip Key Encapsulation)是两种代表性方案。这些算法通过选择适当密钥尺寸可有效抵御经典结构攻击。然而,物理实现的侧信道安全性