2 papers
cs.PL2026
Sound Enforcement of Dynamic Release Information Flow Policy-Full Version
Jeffrey C. Ching, Danfeng Zhang
Information flow analysis is the de facto method of assessing confidentiality and integrity issues. However, the widespread adoption of information flow analysis in real-world syst…
cs.PL2026
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…