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]

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