Danfeng Zhang
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Crypto×1
Frequent co-authors
Research Timeline
2026
Filament: Denning-Style Information Flow Control for Rust
Filament is a novel, compiler-agnostic static information-flow control (IFC) library for Rust that enables fine-grained, Denning-style tracking of both explicit and implicit data flows with minimal programmer overhead.
Highlighted terms show continued research focus across papers