paperbot · PL 论文追踪

全部论文 待读 收藏

P2 kMVX

kMVX
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10 · 该论文研究内核信息泄露防御,采用多版本执行(MVX)动态检测分歧,属于系统安全领域;与用户关注的静态分析、LLM/Agent 程序分析、浮点程序分析或贝叶斯程序分析均无直接交集。引用 28 inbox
Sebastian Österlund, Koen Koning, Pierre Olivier, Antonio Barbalace, Herbert Bos, Cristiano Giuffrida
crossref: 2026-09-12

AI 速览

一句话:提出 kMVX,通过同时运行多个多样化内核变体并检测分歧,防御内核信息泄露漏洞。

内核信息泄露漏洞可泄露密钥或内核指针等敏感信息,对生产系统构成严重威胁。现有针对 Linux 等内核的防御在覆盖范围或性能开销上存在不足。本文提出 kMVX,一种通过在同一机器上同时运行多个多样化内核变体来综合防御内核信息泄露的方案。其设计确保这些变体仅在攻击者试图利用内核漏洞时才出现分歧,通过检测分歧来阻止信息泄露。传统多版本执行(MVX)因运行时环境假设难以用于内核,而 kMVX 可应用于商品化内核。基于 Linux 的原型表明,kMVX 能提供强大的信息泄露防护,最坏情况下对流行服务器应用仅带来 20–50% 性能开销。

问题
内核信息泄露漏洞可泄露密钥、内核指针等敏感信息,现有防御覆盖有限或性能开销过高。
方法
受多版本执行(MVX)启发,在同一机器上同时运行多个精心多样化的内核变体,仅在攻击者利用漏洞时检测分歧以阻止泄露,并可应用于商品化内核。
评估
基于 Linux 的原型在流行服务器应用上最坏情况产生 20–50% 性能开销,同时提供强大的信息泄露防护。
原文摘要(Abstract)

Kernel information leak vulnerabilities are a major security threat to production systems. Attackers can exploit them to leak confidential information such as cryptographic keys or kernel pointers. Despite efforts by kernel developers and researchers, existing defenses for kernels such as Linux are limited in scope or incur a prohibitive performance overhead. In this paper, we present kMVX, a comprehensive defense against information leak vulnerabilities in the kernel by running multiple diversified kernel variants simultaneously on the same machine. By constructing these variants in a careful manner, we can ensure they only show divergences when an attacker tries to exploit bugs present in the kernel. By detecting these divergences we can prevent kernel information leaks. Our kMVX design is inspired by multi-variant execution (MVX). Traditional MVX designs cannot be applied to kernels because of their assumptions on the run-time environment. kMVX, on the other hand, can be applied even to commodity kernels. We show our Linux-based prototype provides powerful protection against information leaks at acceptable performance overhead (20--50% in the worst case for popular server applications).

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4916,
  title = {kMVX},
  author = {Sebastian Österlund and Koen Koning and Pierre Olivier and Antonio Barbalace and Herbert Bos and Cristiano Giuffrida},
  booktitle = {ASPLOS},
  year = {2019},
  doi = {10.1145/3297858.3304054}
}