Danfeng Zhang is an Assistant Professor at Penn State University. He received his B.S. and M.S. in Computer Science from Peking University, and his Ph.D. in Computer Science from Cornell University.

Research Statement

Software plays a crucial rule in the digital age. Yet, it is still very challenging to develop correct and secure software, even for veteran software developers. The goal of my research is to prove the absence of software errors, and further, generate fixes when things go wrong. My research currently includes security, privacy, type safety and software correctness.

Selected Recent Publications

[Google scholar] [Complete List]

Proving Differential Privacy via Shadow Execution.

with Yuxin Wang, Zeyu Ding, Guanhong Wang and Daniel Kifer (conditionally accepted).

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

with Robert Brotzman-Smith, Shen Liu, Gang Tan and Mahmut Kandemir.
[CCS'18 Outstanding paper award]

Detecting Violations of Differential Privacy.

with Zeyu Ding, Yuxin Wang, Guanhong Wang and Daniel Kifer.

A Derivation Framework for Dependent Security Label Inference.

with with Peixuan Li.

RCoal: Mitigating GPU Timing Attack via Subwarp-based Randomized Coalescing Technique.

with Gurunath Kadam and Adwait Jog.

SHErrLoc: a Static Holistic Error Locator.

with Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton‑Jones.

CacheD: Identifying Cache-Based Timing Channels in Production Software.

with Shuai Wang, Pei Wang, Xiao Liu, Dinghao Wu.

Towards a Flow- and Path-Sensitive Information Flow Analysis.

with Peixuan Li.

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

with Andrew Ferraiuolo, Rui Xu, Andrew C. Myers and G. Edward Suh.

LightDP: Towards Automating Differential Privacy Proofs.

with Daniel Kifer.



Professional Activities


My research is currently supported by NSF grants 1816282, 1702760 and 1566411.