Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software
Hugo Lefeuvre, Vlad-Andrei B\u{a}doiu, Yi Chien, Felipe Huici, Nathan, Dautenhahn, Pierre Olivier

TL;DR
This paper studies security bugs called Compartment Interface Vulnerabilities (CIVs) that arise when software compartments are not properly secured at their interfaces, proposing a specialized fuzzer to detect these vulnerabilities.
Contribution
It provides a taxonomy of CIVs, demonstrates their prevalence through a large-scale fuzzing study, and offers guidelines for designing secure compartment interfaces.
Findings
629 vulnerabilities found across 25 applications
CIVs are widespread and affect all compartmentalization approaches
Addressing CIVs requires more than simple checks, involving systematic detection and mitigation strategies.
Abstract
Least-privilege separation decomposes applications into compartments limited to accessing only what they need. When compartmentalizing existing software, many approaches neglect securing the new inter-compartment interfaces, although what used to be a function call from/to a trusted component is now potentially a targeted attack from a malicious compartment. This results in an entire class of security bugs: Compartment Interface Vulnerabilities (CIVs). This paper provides an in-depth study of CIVs. We taxonomize these issues and show that they affect all known compartmentalization approaches. We propose ConfFuzz, an in-memory fuzzer specialized to detect CIVs at possible compartment boundaries. We apply ConfFuzz to a set of 25 popular applications and 36 possible compartment APIs, to uncover a wide data-set of 629 vulnerabilities. We systematically study these issues, and extract…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsInformation and Cyber Security · Security and Verification in Computing · Software Reliability and Analysis Research
