kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
Autor: | Koen Koning, Antonio Barbalace, Pierre Olivier, Cristiano Giuffrida, Herbert Bos, Sebastian Österlund |
---|---|
Přispěvatelé: | Computer Systems, Network Institute, Systems and Network Security |
Jazyk: | angličtina |
Rok vydání: | 2019 |
Předmět: |
operating systems
021110 strategic defence & security studies Exploit Computer science Distributed computing 0211 other engineering and technologies 020207 software engineering 02 engineering and technology security Kernel (statistics) 0202 electrical engineering electronic engineering information engineering multi-variant exection Overhead (computing) Confidentiality information leaks Scope (computer science) |
Zdroj: | ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 559-572 STARTPAGE=559;ENDPAGE=572;TITLE=ASPLOS '19 ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems-ASPLOS '19 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems-ASPLOS 19 Österlund, S, Koning, K, Olivier, P, Barbalace, A, Bos, H & Giuffrida, C 2019, kMVX: Detecting Kernel Information Leaks with Multi-variant Execution . in ASPLOS '19 : Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems . Association for Computing Machinery, pp. 559-572, 24th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, United States, 13/04/19 . https://doi.org/10.1145/3297858.3304054 |
DOI: | 10.1145/3297858.3304054 |
Popis: | 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). |
Databáze: | OpenAIRE |
Externí odkaz: |