Filament: Denning-Style Information Flow Control for Rust

Jeffrey C. Ching, Quan Zhou, Danfeng Zhang

Existing language-based information-flow control (IFC) tools face a fundamental tension: Denning-style systems that track explicit and implicit flows at the variable level typicall…