2 papers
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…
cs.CR2025
Agora: Trust Less and Open More in Verification for Confidential Computing
Hongbo Chen, Quan Zhou, Sen Yang +4
Binary verification plays a pivotal role in software security, yet building a verification service that is both open and trustworthy poses a formidable challenge. In this paper, we…