Danfeng Zhang
Identifiers
No identifiers captured yet.
Papers (8)
- Filament: Denning-Style Information Flow Control for Rust cs.PL · 2026 · author #3
- AlphaEval: Evaluating Agents in Production cs.CL · 2026 · author #25
- Characterizing Trust Boundary Vulnerabilities in TEE Containers: An Empirical Study cs.CR · 2025 · author #7
- ResidualPlanner+: a scalable matrix mechanism for marginals and beyond cs.DB · 2023 · author #5
- Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation cs.CR · 2019 · author #5
- Proving Differential Privacy with Shadow Execution cs.PL · 2019 · author #5
- Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report cs.PL · 2017 · author #2
- LightDP: Towards Automating Differential Privacy Proofs cs.PL · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Daniel Kifer 3 shared papers
- Zeyu Ding 2 shared papers
- Bingyu Xu 1 shared papers
- Dinghao Wu 1 shared papers
- Fengyue Meng 1 shared papers
- Guangyao Chi 1 shared papers
- Guanhong Wang 1 shared papers
- Guanlin He 1 shared papers
- Haixu Tang 1 shared papers
- Hongbo Chen 1 shared papers
- Jeffrey C. Ching 1 shared papers
- Jiajun Li 1 shared papers
- Jingru Zhao 1 shared papers
- Jinxiu Liu 1 shared papers
- Junfei Fish Yu 1 shared papers
- Kaishen Chen 1 shared papers
- Kun Wang 1 shared papers
- Levent Toksoz 1 shared papers
- Linxuan Wu 1 shared papers
- Lyumanshan Ye 1 shared papers