معرفی
Danfeng Zhang is an Associate Professor of Computer Science at Duke University's Trinity College of Arts & Sciences since 2024. He received his Ph.D. from Cornell University in 2015.
- Specializes in computer security and privacy
- Focuses on timing channels, differential privacy, and formal verification
- Develops static analysis tools for security guarantees
His recent research includes:
- LLM-assisted verification (HOTOS 2025)
- Per-user differential privacy in online advertising (IEEE Security & Privacy 2025)
- GPU uncore vulnerabilities (MICRO 2024)
- Cache timing analysis (POPL 2024)
Key funded projects:
- NSF SaTC Frontiers (2023-2027): Center for Distributed Confidential Computing
- CAREER Grant (2023-2026): Non-static information flow policies
- NSF-Penn State Collaboration (2024-2028): Differentially Private SQL systems
Teaching:
- COMPSCI 390 (System Software) - Spring 2025, 2024
- COMPSCI 590 (Advanced Topics) - Fall 2024
۰مقاله منتشرشده
