Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Refinement
Maxwell Levatich, Stephen A. Edwards
2026Year
Abstract
Software vulnerabilities that expose confidential data remain a persistent threat. Even vulnerabilities in unprivileged code can expose data in privileged code when they share memory. Program partitioning safeguards against this by dividing a monolithic program into component programs according to a security policy for sharing confidential data, following the Principle of Least Privilege: each component of a system should operate with minimum privileges.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- PtrSplit: Supporting General Pointers in Automatic Program PartitioningShen Liu, Gang Tan, Trent JaegerCCS 2017 · 83 citations
- When Good Components Go Bad: Formally Secure Compilation Despite Dynamic CompromiseCarmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans et al.CCS 2018 · 43 citations
- Program-mandering: Quantitative Privilege SeparationShen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco et al.CCS 2019 · 30 citations
- PKRU-safe: automatically locking down the heap between safe and unsafe languagesPaul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen et al.EuroSys 2022 · 41 citations
- FreePart: Hardening Data Processing Software via Framework-based Partitioning and IsolationAli Ahad, Gang Wang, Chung Hwan Kim, Suman Jana et al.ASPLOS 2023 · 1 citation
