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.

His research focuses on computer security and programming languages. His recent work is on sound and practical methods for full-system mitigation of timing channels and a general approach of diagnosing errors detected by static program analyses, such as information-flow analyses and ML type inference.

I'm looking for highly-motivated and outstanding PhD applicants who are interested in security and programming languages. Research opportunities are also available for Penn State undergraduates. Please send me an email if you're interested.


Selected Recent Publications

[Google scholar] [Complete List]

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.

Lattice Priority Scheduling: Low-Overhead Timing Channel Protection for a Shared Memory Controller.

with Andrew Ferraiuolo, Yao Wang, Andrew C. Myers and G. Edward Suh.
[PLDI'15 Distinguished paper award]

Diagnosing Type Errors with Class.

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

A Hardware Design Language for Timing-Sensitive Information-Flow Security.

with Yao Wang, G. Edward Suh and Andrew C. Myers.

Ironclad Apps: End-to-End Security via Automated Full-System Verification.

with Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, and Brian Zill.

Toward General Diagnosis of Static Errors.

with Andrew C. Myers.