VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks.
本文提出一种新的安全属性——值不变属性（Value Invariant Property, VIP），并基于该属性设计了原型系统 HyperSpace，用于防御因内存破坏（memory corruption）导致的安全关键数据（如函数指针）
#control-flow-integrity
共收录 11 条相关情报。
← 返回所有主题CFInsight: A Comprehensive Metric for CFI Policies.
本文针对控制流完整性（CFI）策略的安全评估问题展开研究。现有防御机制（如 CFI）在缓解内存破坏漏洞利用方面发挥着重要作用，但不同实现的防护能力难以比较。既有度量指标（如 AIR）仅关注控制流图的边或基本块的覆盖情况，却未考虑不同基本块对
Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage.
该论文提出了一种名为 Kage 的全面控制流保护方案，专门针对实时嵌入式系统。实时嵌入式系统在航空航天、汽车、医疗等安全关键领域广泛应用，但其资源受限和实时性要求使得传统控制流完整性（CFI）机制难以直接部署。现有方案要么仅保护部分控制流（
SoK: On the Effectiveness of Control-Flow Integrity in Practice.
本文是一篇关于控制流完整性（CFI）在实际环境中有效性的系统化知识（SoK）综述。研究背景：CFI 被广泛视为一种重要的防御技术，旨在通过限制程序控制流来遏制控制流劫持攻击。然而，随着攻击技术的演进，尤其是面向返回编程（ROP）和面向跳转编
TypeSqueezer: When Static Recovery of Function Signatures for Binary Executables Meets Dynamic Analysis.
该论文针对二进制程序在控制流完整性（CFI）中前向边保护的难题，提出了一种结合静态与动态分析的方法TypeSqueezer，用于更精确地恢复函数签名。传统基于类型的间接调用目标匹配在二进制层面面临类型信息缺失的困境，静态分析只能采用宽松的a
PACStack: an Authenticated Call Stack.
论文提出了一种新的控制流完整性保护机制——认证调用栈（ACS），通过链式消息认证码（MAC）验证函数返回地址的完整性，从而防御返回导向编程（ROP）等运行时攻击。传统影子栈需要在受保护内存中维护返回地址副本，存在性能开销大或需要专用硬件支持
WarpGuard: Protected-Site Control-Flow Integrity for CUDA SASS Binaries
本文提出 WarpGuard，据作者所知这是首个在已执行 SASS（Shader Assembly）层面为 CUDA 设备二进制实现受保护站点控制流完整性（CFI）的系统。近年来 CUDA 利用研究显示，GPU 内存漏洞可升级为设备端控制流
Poster: Control-Flow Integrity in Low-end Embedded Devices.
该论文聚焦于低端嵌入式设备（如IoT设备）的控制流完整性（CFI）保护问题。这类设备因成本限制极少具备安全机制，成为攻击者的目标。作者针对资源极度受限的微控制器提出了轻量级CFI方案。通过分析程序控制流图，在函数调用和返回点插入验证机制，确
Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
本文提出 Janus，一个基于编译器的安全框架，旨在缓解 ARM64 平台上的瞬态执行攻击（如 Spectre）和控制流劫持。Janus 利用 ARM 的硬件原语——指针认证（PA）和分支目标识别（BTI），通过修改指针认证修饰符（PA m
μCFI: Formal Verification of Microarchitectural Control-flow Integrity.
该论文提出了一种名为μCFI（微架构控制流完整性）的形式化验证方法，旨在解决现有控制流完整性（CFI）机制在微架构层面的安全漏洞。传统的CFI仅在软件或ISA（指令集架构）层面保证控制流安全，但无法抵御利用微架构侧信道或瞬态执行攻击（如Sp
SACK: Systematic Generation of Function Substitution Attacks Against Control-Flow Integrity.
本文提出 SACK（Systematic Generation of Function Substitution Attacks Against Control-Flow Integrity），一种系统化生成函数替换攻击的方法，旨在绕过控制