SEMSAN: a Configurable Sanitizer for Detecting System-Level Semantic Bugs.
本文提出SEMSAN，一个用于检测系统级语义bug的可配置净化器（sanitizer）。系统级语义bug是指那些不违反内存安全或类型安全约束，但导致程序实际行为与设计意图相悖的缺陷，例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、
#system-security
共收录 4 条相关情报。
← 返回所有主题VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks.
本文提出一种新的安全属性——值不变属性（Value Invariant Property, VIP），并基于该属性设计了原型系统 HyperSpace，用于防御因内存破坏（memory corruption）导致的安全关键数据（如函数指针）
SoK: Software Compartmentalization.
本文是一篇关于软件隔离（compartmentalization）的系统化知识梳理（SoK）论文。软件隔离通过将大型系统分解为具有有限权限的小型组件来最小化漏洞利用的影响，这一理念历史悠久且经过广泛研究，但在实际主流软件开发中仍未得到广泛应
PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability.
本文提出PalanTír系统，旨在通过硬件增强的系统可观测性来优化攻击溯源。现有的攻击溯源方法主要依赖软件级日志（如系统调用跟踪），但软件日志存在高开销、被篡改风险以及缺乏底层语义等问题。PalanTír利用现代处理器提供的硬件性能监控单元