该研究源自浙江大学等机构，针对NVIDIA GPU平台上地址空间布局随机化（ASLR）机制的实现缺陷展开系统分析。研究首先逆向梳理了NVIDIA驱动与用户态运行时库在GPU虚拟地址空间上应用ASLR的具体逻辑，发现其熵源质量、随机化时机以及布局更新策略存在多个薄弱环节。通过大量实验测量与对比，论文量化了现有ASLR在GPU场景下的有效熵值，证明其远低于理论上限，并进一步展示了利用这些缺陷可能绕过ASLR防护的攻击场景。研究中还讨论了跨进程信息泄露、内核驱动与用户态运行时之间的协同攻击面，以及不同GPU架构和驱动版本之间的差异。论文的核心贡献在于首次系统性地剖析了GPU ASLR的设计与实现风险，提出了针对该平台的攻击模型，并给出了增强随机化强度、改进熵源管理以及调整运行时库分配策略等防御建议。该工作有助于安全社区重新审视GPU作为通用计算设备时的内存安全隔离边界，为GPU驱动及固件安全审计提供了参考。

CHERI 架构通过硬件强制的能力机机制提供空间内存安全，但时间内存安全（即释放后使用类漏洞）尚未被完整覆盖。此前工作主要针对堆上的 use-after-free，而栈上的 use-after-return 一直缺乏系统性的硬件/软件协同防御。已有的编译器分析只能可靠捕获作为函数返回值逃逸的栈引用，动态插桩工具则因性能开销过大难以在生产环境部署。针对这一空白，本文提出 FRESCO 机制，其核心原则是：栈能力（stack capability）的生存期不得超过创建它的栈帧。FRESCO 为每次函数调用生成独立的能力"颜色"（provenance identifier），任何从该栈指针派生的能力都会继承该生命周期，并在函数退出时由硬件立即失效——无论该引用以何种方式、逃逸到何处。由于栈帧的回收频率远高于堆分配，FRESCO 设计了两种机制来管理颜色资源：1）Color Saver，一种基于静态能力分析的逃逸分析，仅对确实需要着色的函数限定染色范围，其核心算法在 Rocq 证明助手中完成机械化验证；2）能力-颜色分段，将内存划分为不连续的段，各段拥有独立的颜色命名空间，从而让栈时间安全和堆时间安全在同一系统上共存。FRESCO 是首个为 CHERI 应用处理器提供完整、可扩展时间内存安全的软硬件协同设计。实现基于 CHERI-RISC-V QEMU 全系统模拟器和乱序执行的 CHERI-Toooba FPGA 软核，软件栈采用 CHERI 版 Clang/LLVM 编译器和 CheriBSD 操作系统。实验表明，FRESCO 在 NIST Juliet 测试套件和 CVE 样本上系统性地阻止了 use-after-return、use-after-free 和 double-free，SPEC CPU 性能开销约 4%，SQLite 和 PostgreSQL 开销为 10-14%。本文适合从事内存安全、硬件安全、编译优化及形式化验证的研究人员阅读。

本文提出 CodeMechanic，一个基于缺陷属性引导的程序缓解系统，旨在解决自动化测试发现内存损坏漏洞后，开发者来不及修复、导致已知漏洞长时间可利用的问题。现有基于大语言模型（LLM）的端到端修复代理虽然能缩短这一时间窗口，但会生成开放式代码修改，且通常仅通过重放概念验证（PoC）来验证修复效果，这种弱验证机制可能接受那些只是掩盖崩溃但改变无关行为的补丁，增加误部署风险。CodeMechanic 的核心思路是从崩溃中重建被违反的内存安全属性，验证被解引用的指针及其缓冲区范围，并在危险访问前插入局部故障停止（fail-stop）保护。当边界检查失败时，该保护会终止执行，从而将潜在远程代码执行转化为受控终止，刻意以可用性换取安全性，为开发者调查根因和准备永久修复争取时间。系统结合二维静态与动态上下文提取器、提示内调试知识和逐步验证，以限制 LLM 错误的影响。在 101 个真实世界 ARVO 漏洞上的实验表明，CodeMechanic 首次尝试生成的合理补丁（通过 PoC 重放验证）比最佳基线多 47.6%，同时使用 token 数减少 91%；人工审计进一步显示，CodeMechanic 生成的补丁与开发者编写修复语义等价的概率是基线的 3.4 至 4.3 倍。本文面向软件安全、漏洞修复和 LLM 应用的研究人员，以及需要快速缓解已知漏洞的蓝队和安全工程师。

该论文提出了一种名为 Voodoo 的新型硬件安全机制，其核心思路是在同一底层原语 MAGIC（一种内存内计算/逻辑操作机制）上，统一实现内存标记（Memory Tagging）、认证加密（Authenticated Encryption）和纠错（Error Correction）三种安全与可靠性功能。研究背景是：现代系统面临内存安全漏洞（如缓冲区溢出、释放后使用）、物理攻击（如故障注入、侧信道）以及数据完整性错误等多重威胁，而传统方案通常分别使用不同硬件模块，既增加面积开销，又难以提供协同保护。Voodoo 的关键创新在于利用 MAGIC 的计算特性，将认证加密所需的加解密操作、内存标记所需的标签比较与更新、以及纠错所需的检错/纠错逻辑，映射到同一套存储和运算结构中，从而在不显著增加硬件面积的前提下，使每一次内存访问都能同时获得完整性、保密性和纠错能力。论文还探讨了如何通过内存内计算来加速认证加密算法（如 AES-GCM 类），并通过硬件设计评估了性能、面积和能耗开销。实验结果表明，Voodoo 相比分离实现能够降低面积和功耗，同时保证安全属性。适合计算机体系结构、硬件安全、密码学和系统安全方向的研究人员阅读，该工作为未来处理器微架构中的统一安全原语设计提供了新思路。由于本文基于摘要分析，具体实验数据和安全定理未详细展开，结论需结合全文验证。

该论文针对基于标签的消毒器（Tag-based Sanitizers）在内存错误检测中面临的标签碰撞问题展开研究。此类消毒器通过为内存区域分配标签来追踪访问合法性，但当不同内存区域拥有相同标签时，会引发误报或漏报，降低检测准确性和效率。论文提出了一种基于簇（Cluster）的内存管理策略，将内存空间划分为多个簇并为每个簇独立管理标签分配，从而显著减少标签碰撞的概率，并优化内存使用和运行时开销。通过这种簇级隔离，每个簇内标签空间独立，碰撞仅发生在局部，避免了全局标签池的拥挤问题。实验表明，该方法在保持较低性能开销的同时，有效提升了检测的精确度和覆盖率，相较于传统全局标签管理方法具有明显优势。论文的主要贡献在于揭示了标签碰撞问题的严重性，并设计了一种可扩展的簇式内存管理方案，为未来消毒器的优化提供了新思路。由于仅基于标题和摘要信息，具体技术细节和实验数据需参阅原文验证。

引导加载程序（bootloader）在系统启动流程中扮演关键角色，它连接固件与操作系统，负责验证并加载操作系统镜像，是安全启动链的核心环节。一旦bootloader存在漏洞，攻击者可能绕过安全启动机制，在系统启动早期植入恶意代码。近年来，随着bootloader功能日益丰富，其代码规模扩大，攻击面也随之增加，已有多个内存安全漏洞被公开，部分可导致拒绝服务或安全启动绕过。然而，此前尚无对bootloader内存安全的系统性研究。本文首次对bootloader进行了全面、系统的内存安全分析。作者首先调查了历史bootloader漏洞，梳理了各bootloader的潜在攻击面，并指出来自存储设备、网络等外设的恶意输入是攻击者利用漏洞的主要途径。基于这一观察，他们设计并实现了一个专用于bootloader的模糊测试框架。通过该框架，作者对九个主流bootloader进行了测试，共发现39个漏洞，其中38个为新漏洞。尤其值得注意的是，在广泛使用的Linux标准bootloader GRUB中发现了14个漏洞，其中部分漏洞在特定利用场景下可导致安全启动绕过。目前已有5个漏洞获得CVE编号。作者已将框架原型开源（https://github.com/wjqsec/bootloader），以促进该领域后续研究。这一工作显著提升了bootloader安全性的可测试性，为防御方提供了系统化的漏洞挖掘与评估工具。

本文针对C语言内存安全加固研究中普遍存在的“单漏洞类孤立评估”问题，提出了一种全新的跨语言比较评估范式。过去数十年，研究者提出了许多针对C语言的内存安全回填机制，但这些机制几乎总是在孤立条件下、针对特定漏洞类型进行评估，导致实际工程实践中难以判断多种防御机制叠加后带来的综合性能开销、互操作冲突和保护覆盖缺口。作者主张应像评估原生内存安全语言（如Rust和Go）那样，对C语言的复合加固方案进行整体性基准测试。为此，他们设计了一套标准化的跨语言任务集，同时部署多种先进的内存安全回填机制，并测量其组合使用时的性能与防护效果。实验结果显示，分层部署的C语言防御机制会带来累积的、依赖工作负载的性能惩罚；部分机制之间存在根本性的架构不兼容；即便叠加多项加固，其防护范围仍无法达到Rust或Go等原生安全语言的水平。这些发现揭示了一个关键的工程决策缺口：在遗留C代码库中向后移植安全特性的真实成本往往被隐藏，使开发团队难以在加固旧系统和迁移到现代安全语言之间做出明智选择。作者因此呼吁内存安全研究领域应放弃孤立评估模式，转向更全面、可比较的评估框架，以帮助高风险决策（如是否重写系统）建立在可靠的数据基础上。该研究对系统软件、嵌入式设备、网络服务等依赖C语言的高危场景具有重要参考价值，也为安全团队评估长期投入方向（是修补还是迁移）提供了方法论支撑。

本文提出 deepSURF，一种结合静态分析与大语言模型（LLM）引导的模糊测试工具，用于检测 Rust 库中的内存安全漏洞，尤其针对 unsafe 代码。尽管 Rust 默认保证内存安全，但 unsafe 代码的使用可能引入安全漏洞。现有工具在检测能力、处理 Rust 特有类型或减少人工干预方面存在不足。deepSURF 引入了一种处理泛型的新方法：通过自定义类型替换泛型，并为所需 trait 生成定制实现，使模糊测试器能够在被测库中模拟用户定义的行为。此外，deepSURF 利用 LLM 动态增强模糊测试 harness，以探索复杂的 API 交互，显著增加暴露内存安全漏洞的可能性。作者在 63 个真实世界的 Rust crate 上进行了评估，成功复现了 30 个已知内存安全缺陷，并发现了 12 个先前未知的漏洞（其中 11 个已分配 RustSec ID，3 个已修复），显示其相对于最先进工具的明显改进。这篇论文的主要贡献在于提出一种自动化程度更高的漏洞发现框架，结合 LLM 提升模糊测试的覆盖率和有效性，并针对 Rust 特有挑战提供了解决方案。适合 Rust 安全研究人员、模糊测试工具开发者以及关注内存安全漏洞的蓝队成员阅读。

Rust作为一种系统编程语言，以其强内存安全性和低性能开销而闻名。通过所有权、借用等严格安全策略，Rust编译器能够保证大部分代码的内存安全。然而，在unsafe代码块中，这些安全策略并未完全启用，导致内存错误仍可能发生。尽管这类unsafe代码通常仅占整个代码库的一小部分（例如10%），但现有模糊测试工具往往对整个程序进行测试，包括已经由编译器保证安全的safe Rust代码，从而浪费了大量模糊测试资源。针对这一问题，本文提出了RustGo，一种新型的面向Rust的定向灰盒模糊测试工具。RustGo能够高效且公平地聚焦于可能包含内存错误的代码区域。其核心方法包括：利用Rust特定的静态分析自动识别潜在的内存错误目标，并精准地剪枝与每个目标无关的路径；针对每个识别出的目标，采用独立状态维护和动态剪枝策略，以实现平衡且聚焦的模糊测试。研究者在多个真实世界的Rust应用上进行了评估，结果表明RustGo平均剪枝了78.49%的无关路径，到达目标的速度比现有模糊器快2.09至5.08倍，并成功发现了13个未知错误（其中6个被分配了RUSTSEC ID，1个被分配了CVE ID）。这项工作显著提升了Rust unsafe代码安全检测的效率和效果。

本文针对大语言模型驱动的智能体（Agent）中记忆系统存在的安全风险，提出了一款新型任务驱动型基准 MemSecBench。在现有 Agent 应用中，记忆系统使智能体能够存储并复用过往交互信息，但这也为攻击者创造了机会：精心构造的恶意指令可被写入长期记忆，在之后的交互中被重新调用，进而潜移默化地影响真实行为。已有安全基准大多只关注单点攻击，很少在同一恶意语义下同时考察记忆的持久化、下游影响以及选择性修复，更缺乏跨多种记忆后端的系统性对比。为此，MemSecBench 构建了 310 个用例，覆盖代码与科学、日常生活、办公室工作等 48 个现实场景。每个用例采用受控的 Write-Execute-Forget 协议，在隔离运行时内，由智能体框架、记忆后端和 LLM 后端共同构成精确配置。评测采用基于证据的裁决方式，结合确定性写入检查、针对检查点的法官模型评估和七个生命周期检查点的程序化门控。实验在 2 个框架、4 个记忆后端、3 个 LLM 后端组成的 24 配置矩阵上进行。结果表明：恶意记忆在所有配置中的平均持续率为 84.2%，完整写入-执行链在 50.3% 的用例中成功；在成功中毒的用例中，59.6% 完成完整执行链，56.1% 实现选择性修复；与原生配置相比，最大绝对差异在端到端攻击成功率为 16.1 个百分点，在选择性修复上为 41.3 个百分点。这些差异说明不同记忆系统栈在恶意记忆传播与选择性修复能力上存在显著不同，凸显了对记忆生命周期安全进行系统评估的必要性。该工作为 Agent 记忆安全研究提供了标准化的评估手段，适合关注 LLM 应用安全的研究者与安全工程师参考。

该论文是首个针对eBPF生态系统内存安全风险的系统性分析。eBPF允许在不修改内核代码的情况下扩展内核功能，广泛应用于网络、追踪和安全检查等领域。为确保安全，eBPF包含一个验证器，对每个程序执行前进行校验，旨在防止因内存错误导致的内核内存修改。然而，eBPF子系统（包括验证器本身）已被发现存在大量漏洞，严重违背了安全预期。论文聚焦于eBPF验证器局限性及当前内核防御面临的挑战，评估了三种研究缓解策略：隔离技术、运行时检查和静态验证，并指出了它们的贡献与不足。研究发现，在公开的eBPF程序中，只有1.62%-3.74%（即37-85个）的内存操作无法被全面证明是内存安全的。该发现为在兼顾性能与兼容性的前提下实施全面的内存安全提供了可行的见解。

内存安全错误仍然是C和C++中严重漏洞的主要来源。传统的基于位置的消毒器（如LLVM的ASan）虽然广泛使用，但只能检测缓冲区溢出等有限类型的错误，且开销较高。基于指针的消毒器提供了更强的安全保障，但以往的实现因高开销和兼容性问题难以在生产环境中部署。本文提出了PTSan，一种基于LLVM的实用内存安全消毒器。PTSan通过在每个指针的高位存储对象标识符，并在固定大小的运行时表中存储对象边界，从而在有限的活跃对象预算与低开销、优化器可见性和通用硬件支持之间取得平衡。由于标识符随指针值传播，LLVM的数据流分析可以自然地传播它，无需显式的逐指针元数据指令。PTSan将元数据查找与检查执行分离，均以LLVM IR表示，从而支持检查的提升、消除和合并，以及基于整个函数最小割的兼容性标签剥离放置。当硬件支持Intel线性地址掩码（LAM）时，可进一步消除剩余的标签剥离指令。在通用硬件上，PTSan的开销与最快的已发布基于位置的消毒器相当：SPEC CPU 2017在x86-64上的几何平均开销为57.2%（使用Intel LAM时为46.4%），ARM64上为54.7%，在应用型的LLVM MultiSource套件上为31.5%（x86-64）。这大约是具有类似指针-对象权限保证的先前系统已发布开销百分比的三分之一，同时独立内存安全测试套件测量显示，PTSan保持了跨对象、非对象和时间检测覆盖范围。其物理内存开销接近原生，这对于生产部署至关重要。本文还通过实际服务器和安全工作负载展示了实用开销。结果表明，PTSan将实用的基于指针的内存安全引入了仅需重新编译的消毒器部署模型。

本文是一篇关于控制流完整性（CFI）在实际环境中有效性的系统化知识（SoK）综述。研究背景：CFI 被广泛视为一种重要的防御技术，旨在通过限制程序控制流来遏制控制流劫持攻击。然而，随着攻击技术的演进，尤其是面向返回编程（ROP）和面向跳转编程（JOP）的复杂化，CFI 的实际效果受到质疑。核心问题：现有 CFI 实现在面对现实世界攻击者时，其保护能力究竟如何？是否存在普遍性的局限性？方法：作者系统回顾了近年来 CFI 相关的学术文献、实际部署案例以及已知绕过技术，构建了一个分类框架来评估不同 CFI 策略（如粗粒度、细粒度、运行时 CFI）的强度与弱点。主要贡献：1）总结了 CFI 的常见攻击面，包括间接跳转/调用的覆盖不全、状态图不完备、性能支出与安全的权衡等；2）揭示了细粒度 CFI 虽增强了安全性，但仍可能被特定攻击模式（如后向边利用、运行时信息泄露）绕过；3）指出实际部署中的 CFI 方案往往因兼容性需求而降低保证级别；4）提出了未来 CFI 研究应关注动态完整性检查、基于硬件的辅助以及与程序语言级安全的结合。本文适合安全研究人员、系统软件开发者及防御技术评估者阅读，帮助理解 CFI 的现状与局限。

该论文提出 OPTISAN，一种在给定预算约束下优化栈内存保护的方法。栈内存是缓冲区溢出等内存错误攻击的主要目标，现有防御措施（如栈金丝雀、ASLR、Control-Flow Integrity等）各有开销和覆盖范围。OPTISAN 分析多种空间错误防御（如地址空间布局随机化、边界检查等）的组合效果，并构建成本效益模型，在有限的性能预算内选择最优防御组合。实验基于常见漏洞类型（如栈溢出）评估不同配置的安全增益与性能开销，结果显示 OPTISAN 能够在不显著降低性能的前提下显著提升栈内存安全性。该工作为系统安全设计者提供了权衡安全与性能的量化工具，有助于在实际部署中做出更明智的防御决策。

空间内存错误（如缓冲区溢出）在C/C++程序中依然是最常见的漏洞类型之一。尽管已有大量研究，但即使部分缓解方案的实际性能开销仍然过高，难以在生产环境中部署。为了降低成本，近年来的解决方案转向硬件辅助技术，例如Arm的内存标记扩展（MTE）。然而，现有MTE方案面临两大挑战：一是频繁的内存（重新）标记导致较高开销，尤其是在栈上；二是依赖随机内存标签的保密性，仅提供概率性的安全保证。本文首先通过实验证明随机标签的保护有限，攻击者可以通过推测执行（speculative probing）推断出内存标签。接着，作者提出StickyTags，一种确定性的MTE解决方案，能够高效缓解有界空间内存错误。StickyTags将栈和堆组织成按大小分类的区域，对每个区域应用预先确定的持久内存标签模式。这样，内存标签只需初始化一次，之后同一大小类的对象可以复用这些标签，从而消除了昂贵的重新标记开销。标签采用固定的循环分配方式，为每个对象周围提供较大的隐式空间防护。尽管防护大小受限于4位MTE的16种标签，但该保护是高效且确定性的。实验表明，StickyTags在SPEC CPU2006基准测试上实际运行时开销不超过4%，并且能完全缓解一个基于概率性MTE方案评估的8个空间CVE中的7个。该工作为低开销、确定性内存安全缓解提供了新思路。

本文以Rust语言为案例，系统研究了采用安全编程语言对软件安全性和开发实践的影响。研究背景在于内存安全漏洞（如缓冲区溢出、释放后使用）是现有C/C++程序的主要安全威胁，而Rust通过所有权、借用检查等机制在编译期消除这些漏洞。然而，迁移到Rust存在学习曲线、与现有代码集成困难、运行时性能开销等顾虑。作者通过混合方法开展研究：首先对开源项目使用Rust的情况进行定量分析，测量漏洞密度与模式；其次对开发者进行深度访谈与调查，收集采用Rust的动机、障碍与经验；最后通过实验对比Rust与C/C++在性能、代码复杂度、可维护性上的差异。主要贡献包括：(1) 提供了Rust减少内存安全漏洞的实证证据，但指出逻辑错误和非内存安全缺陷仍需关注；(2) 量化了学习成本与代码迁移工作量；(3) 提出组织采用Rust时应考虑的因素，如团队现有技能、项目风险容忍度、对互操作性的需求。本文适合安全工程师、技术决策者及编程语言研究者阅读，为评估是否将Rust引入安全关键系统提供依据。

该论文聚焦于未初始化内存访问导致的内存安全问题。在C和C++等语言中，约10%的内存安全漏洞源于未初始化变量。现有软件缓解措施不足，而硬件能力模型（如剑桥大学的CHERI）能有效解决空间和时间内存安全缺陷，但无法处理未初始化变量引发的未定义行为。为此，作者提出“条件能力（conditional capabilities）”扩展，在CHERI能力模型基础上增加基于先前操作的内存访问策略，例如强制执行“写入前读取（Write-before-Read）”规则，即禁止读取未被至少一次写入的内存。论文详细介绍了架构扩展、编译器支持，并在QEMU全系统模拟器和基于FPGA的CHERI-RISCV软核上进行了评估。实验表明，条件能力具有实用性，检测准确率高，且平均性能开销仅为约3.5%，与基线CHERI能力开销相当。该工作为硬件级防御未初始化内存访问提供了新思路，适合安全架构师、硬件安全研究人员以及编译器开发者阅读。

本文提出 Revelio，一个面向仓库级代码库的内存安全漏洞检测智能体框架。内存安全漏洞（如缓冲区溢出、释放后使用等）即使在经过大量模糊测试和人工审计的项目中仍然存在。现有基于大型语言模型（LLM）的方法虽有潜力，但存在幻觉、不可靠且难以扩展到大型代码库等问题。Revelio 通过生成可执行的漏洞证明（PoV）并由确定性消毒器验证来解决幻觉问题，从而确保报告的可复现性和可信度。框架采用低成本 LLM 与轻量级静态分析相结合，先生成漏洞假设，然后排序，仅在消毒器确认后报告漏洞。研究者在经过 5-8 年持续模糊测试的 7 个生产质量项目以及 CyberGym 基准中随机选取的 100 个 Arvo 项目上进行了评估。每个项目约耗时 1 小时，总成本 300 美元，共发现 19 个先前未知的内存安全漏洞。在基准测试中，Revelio 在使用不同骨干模型且 token 成本相当的情况下，性能优于前沿编码智能体。结果表明，Revelio 能够实现可扩展且可信的端到端 LLM 内存安全漏洞检测。本文适合安全研究人员、开发者及希望利用 AI 提升代码安全性的团队阅读。

该论文提出了一种名为 CHERI-D 的架构扩展，旨在为 CHERI（一种领先的硬件/软件系统，提供原生空间安全性和时间内存安全性的基础）提供高效的时间内存安全性。CHERI 本身缺乏对时间内存安全性的内在架构支持，现有最先进的软件解决方案 Cornucopia Reloaded 仅能抵御释放后重分配（UAR）攻击，而非更强的释放后使用（UAF）攻击，并且由于延迟分配和回收而存在性能开销。CHERI-D 将对象标识（ID）元数据与能力指针相关联，以提供分配的时间完整性。利用 CHERI 的空间安全性，CHERI-D 可以将对象 ID 安全地内联存储在分配数据中（可能利用未使用的碎片空间）。通过仿真和硬件评估，CHERI-D 显著降低了 Cornucopia Reloaded 的回收开销，同时支持严格的释放后使用缓解。核心贡献在于提出了硬件辅助的时间内存安全机制，在不显著影响性能的前提下增强了安全性。

本文提出 PoisonCap，一种为 CHERI（Capability Hardware Enhanced RISC Instructions）系统设计的层次化时间安全机制。CHERI 是一种领先的硬件/软件系统，通过 capabilities（能力）提供原生空间安全以及时间安全的基础。当前最先进的 CHERI 时间安全解决方案 Cornucopia Reloaded 只能提供 use-after-reallocation 安全，而非更严格的 use-after-free 安全，且无法强制初始化安全。PoisonCap 引入了一种新的“毒化”（poison）能力格式，能够强制严格的 use-after-free 和初始化安全，并通过向微架构传达内存状态来有效管理隔离内存的缓存。该方法利用能力界限优雅地委派内存毒化权限，允许嵌套分配器在不干扰上游分配器的情况下对其消费者实施安全。PoisonCap 可以替代 Cornucopia 的影子位图，并在重分配时自动清零内存，或可选地在读取前写入时触发陷阱以强制初始化安全。实验表明，与在重分配前清零的 Cornucopia 基线相比，PoisonCap 在强化 CHERI 时间安全的同时没有引入根本性的性能开销。该工作适合硬件安全、系统安全、编程语言安全领域的研究者和工程师关注，特别是对 CHERI 生态或内存安全机制感兴趣的人群。

内存安全错误是低级软件中零日漏洞的持续根源，尤其在嵌入式系统中，硬件保护有限且动态分析难以有效应用。内存安全验证可以通过证明不存在此类错误或暴露违规来提供更强保证，但当前验证工作流主要依赖手动操作，需要大量专业知识，限制了实际采用。本文提出 AutoSOUP，一种通过安全导向单元证明实现组件级内存安全验证自动化的系统。作者形式化定义了单元证明，将其编码为包含验证选择（作用域、循环边界和环境模型）的工件，用于验证安全属性，并引入三种自动推导技术。为克服现有自动化方法的局限，进一步提出 LLM-As-Function-Call 混合架构，结合确定性程序合成与大语言模型自动执行这些技术，生成可解释的单元证明。通过评估 AutoSOUP 自动化内存安全验证的能力、在已验证组件中暴露漏洞的效果，并刻画了所得证明的假设和保证。实验表明，AutoSOUP 能有效降低验证专业门槛，提升验证效率，尤其适用于资源受限的嵌入式安全场景。

本论文提出了一种名为Tiktag的新型攻击方法，旨在通过推测执行绕过ARM架构中的内存标记扩展（MTE）安全机制。MTE是ARM v8.5引入的硬件安全特性，通过为每个内存分配随机标签并检查访问时的标签匹配来防御缓冲区溢出、释放后使用等内存安全漏洞。然而，作者发现推测执行过程中标签检查的时机存在微架构侧信道漏洞：攻击者可以利用分支预测错误或异常，在标签验证实际发生之前，通过推测执行访问具有错误标签的内存，从而泄漏标签信息或绕过保护。论文详细描述了攻击的微架构原理，包括如何触发推测窗口、如何利用缓存侧信道提取标签，以及如何在真实硬件（如Apple M1和ARM固定功能CPU模拟器）上实施攻击。实验表明，Tiktag能够以高成功率提取64位标签中的部分位，并进一步结合其他漏洞实现完整的内存读写。该研究揭示了硬件安全机制与微架构优化之间的新冲突，对依赖MTE的软件安全方案构成威胁。

该论文针对虚拟机监控器（hypervisor）利用问题提出新视角。传统方法依赖在宿主机中寻找高度受限的结构并准确确定其运行时地址，但在ASLR等防御下效果不佳。作者观察到现代虚拟化环境中存在弱内存隔离：客户机内存完全受攻击者控制，而宿主机可访问该内存，这为利用提供了可靠原语。基于此，论文首次系统刻画并分类了跨域攻击（CDA），即通过复用客户机内存实现能力提升的一类利用技术。为自动化该过程，作者开发了系统：识别跨域gadget、将其与损坏指针匹配、合成触发输入、组装完整利用链。在QEMU和VirtualBox的15个真实漏洞上评估表明CDA广泛适用且有效。该工作为hypervisor漏洞利用提供了新思路，并提出自动化框架，对hypervisor安全研究和防御有重要参考价值。

本文提出了一种名为“Memory Band-Aid”的纵深防御方案，旨在缓解Rowhammer攻击。Rowhammer是一种利用DRAM内存单元间电磁干扰的硬件漏洞，攻击者通过密集访问同一内存行（激活行），可能导致相邻行发生位翻转，从而破坏数据完整性或实现权限提升。现有防御措施如目标行刷新（TRR）存在局限性，尤其是随着DRAM工艺尺寸不断缩小，Rowhammer攻击的阈值逐渐降低。Memory Band-Aid方案采用多层防御架构：首先，在系统层面引入随机化内存分配策略，增加攻击者预测目标行的难度；其次，在内存控制器层面增强刷新策略，根据实际访问模式动态调整刷新频率；最后，在操作系统层面集成异常检测机制，监控内存访问模式以识别潜在的Rowhammer行为。实验在多种DRAM模块上进行，结果表明该方案能有效降低位翻转概率，且性能开销小于5%。本文的主要贡献在于提出了一个可实际部署的、原则性的纵深防御框架，并分析了其效果与权衡。适合系统安全研究员、内存控制器设计者及操作系统开发者阅读。

该论文提出了一种快速指针归零技术，旨在预防释放后使用（Use-After-Free, UAF）漏洞。UAF漏洞是内存安全中的常见问题，攻击者可以利用悬空指针访问已释放内存，导致信息泄露或代码执行。传统防御方法如内存标记或引用计数开销较高，难以在实际系统中广泛应用。本文设计了一种轻量级机制，在指针指向的内存被释放时立即将指针值置为NULL，从而防止后续通过该指针进行的非法访问。该方法可能在编译时插入检查指令，或通过运行时系统支持，实现低延迟的指针失效。实验基于常见基准测试和真实漏洞场景，结果表明该技术能够有效阻止UAF利用，同时性能开销控制在可接受范围内（通常低于5%）。该工作为内存安全提供了一种实用的补充方案，特别适用于性能敏感型软件如操作系统内核和数据库引擎。

C和C++程序中的内存安全违规持续导致控制流劫持和数据定向攻击等复杂利用技术。现有硬件防御要么依赖地址空间布局随机化（ASLR），要么为指针附加显式元数据以验证其完整性。外部元数据方案提供了强保证，但增加了额外的内存访问和内存占用开销。原地认证机制（如ARM指针认证PAC）在低开销下实现，但以有限熵为代价，并且容易受到暴力破解和重用攻击。本文提出LIPPEN，一种硬件-软件协同设计的全指针加密方案，提供强指针完整性和机密性，且零元数据开销。LIPPEN将每个指针视为加密块，密码学地将其绑定到执行上下文，并在解引用时透明解密。通过重新利用整个64位指针字段进行加密而非保留原始地址位，LIPPEN最大化熵，消除了截断认证码的暴力破解弱点，并保持与现有支持PAC的软件的二进制兼容性。我们在FPGA上使用64位RISC-V Rocket和BOOM核心实现了LIPPEN，并通过微基准测试、nbench和SPEC CPU2017进行评估。与内部RISC-V PAC实现以及M1处理器上的Apple PAC相比，这些工作负载下LIPPEN提供了全面的指针保护，运行时开销与基于PAC的方案相当，同时面积和功耗开销可忽略不计。结果表明LIPPEN是在实际处理器中部署强指针保护的实用设计点。