1 citations · 1 across the 2 of their papers we have counts for
3 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…
cs.PL2021★ 1 cited
Declarative Demand-Driven Reverse Engineering
Yihao Sun, Jeffrey Ching, Kristopher Micinski
Binary reverse engineering is a challenging task because it often necessitates reasoning using both domain-specific knowledge (e.g., understanding entrypoint idioms common to an AB…