Publications

Jeffrey Ching, Danfeng Zhang (2026). Sound Enforcement of Dynamic Release Information Flow Policy. OOPSLA.
PDF
Jeffrey Ching, Quan Zhou, Danfeng Zhang (2026). Filament: Denning-Style Information Flow Control for Rust. arXiv preprint.
PDF
Jeffrey Ching (2021). Enhancing Usability Of Malware Analysis Pipelines With Reverse Engineering. Master’s Thesis, Syracuse University.
PDF
Yihao Sun, Jeffrey Ching, Kristopher Micinski (2021). Declarative demand-driven reverse engineering. NDSS Workshop on Binary Analysis Research (BAR).
PDF