Photo of Danfeng Zhang

Danfeng Zhang

Assistant Professor

Affiliation(s):

  • School of Electrical Engineering and Computer Science
  • Computer Science and Engineering

W369 Westgate Building

dbz5017@psu.edu

814-863-7323

Personal or Departmental Website

Research Areas:

Interest Areas:

Computer security and programming languages.

 
 

 

Education

  • BS, Computer Science, Peking University, 2006
  • MS, Computer Science, Peking University, 2009
  • Ph D, Computer Science,, Cornell University, 2015

Publications

Conference Proceedings

  • Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C Myers and G. Edward Suh, 2017, "Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis"
  • Danfeng Zhang and Daniel Kifer, 2017, "LightDP: Towards Automating Differential Privacy Proofs."
  • Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers and G. Edward Suh, 2016, "SecDCP: Secure dynamic cache partitioning for ecient timing channel protection"
  • Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers and G. Edward Suh, 2016, "Lattice priority scheduling: Low-overhead timing channel protection for a shared memory controller"
  • Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis and Simon L. Peyton Jones, 2015, "Diagnosing type errors with class", pp. 12–21
  • Danfeng Zhang, Yao Wang, G. Edward Suh and Andrew C. Myers, 2015, "A Hardware Design Language for Timing-Sensitive Information-Flow Security", pp. 503–516
  • Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang and Brian Zill, 2014, "Ironclad Apps: End-to-End Security via Automated Full-System Verification", pp. 165–181
  • Danfeng Zhang and Andrew C. Myers, 2014, "Toward general diagnosis of static errors", pp. 569–582
  • Danfeng Zhang, Aslan Askarov and Andrew C. Myers, 2012, "Language-based control and mitigation of timing channels", pp. 99–110
  • Danfeng Zhang, Aslan Askarov and Andrew C. Myers, 2011, "Predictive mitigation of timing channels in interactive systems", pp. 563–574
  • Aslan Askarov, Danfeng Zhang and Andrew C. Myers, 2010, "Predictive black-box mitigation of timing channels", pp. 297–307
  • Danfeng Zhang, Yao Guo and Xiangqun Chen, 2008, "Automated Aspect Recommendation through Clustering-Based Fan-in Analysis", pp. 278–287
  • Danfeng Zhang, Yao Guo, Yue Wang and Xiangqun Chen, 2007, "Toward Efficient Aspect Mining for Linux", pp. 191–198

Newsletters

  • Danfeng Zhang, Yao Guo and Xiangqun Chen, 2008, "AspectC2C: a Symmetric Aspect Extension to the C Language", 43, (2), pp. 25-32

Technical Reports

  • Andrew Ferraiuolo, Yao Wang, Rui Xu, Danfeng Zhang, Andrew C. Myers and Edward Suh, 2015, "Full-Processor Timing Channel Protection with Applications to Secure Hardware Compartments", (1813–41218)
  • Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton-Jones, 2015, "Diagnosing type errors with class", (1813–39907)
  • Danfeng Zhang and Andrew C. Myers, 2014, "Toward general diagnosis of static errors: technical report", (1813–33742)
  • Danfeng Zhang, Yao Wang, G. Edward Suh and Andrew C. Myers, 2014, "A hardware design language for efficient control of timing channels", (1813-36274)
  • Danfeng Zhang, Aslan Askarov and Andrew C. Myers, 2012, "Language Mechanisms for Controlling and Mitigating Timing Channels", (1813–28635)
  • Danfeng Zhang and Daniel Kifer, , "LightDP: Towards Automating Differential Privacy Proofs."

Research Projects

  • April 2016 - March 2018, "CRII: SHF: General, Precise and Accurate Fault Localization," (Sponsor: National Science Foundation).

Honors and Awards

  • ACM SIGPLAN Distinguished Paper Award, ACM, June 2015
  • McMullen Fellowship, 2009
  • Hewlett-Packard Scholarship, Hewlett-Packard, 2008
  • SIGSOFT CAPS Travel Grant (ASE 2008), SIGSOFT, 2008
  • WUSI Scholarship, Peking University, 2007
  • Intel Fellowship, Intel, 2007
  • GUANGHUA Scholarship, Peking University, 2005
  • Excellent Academic Performance Scholarship, Peking University, 2004

Service

Service to Penn State:

  • Committee Member, Academic Integrity Committee, 2016
  • Committee Member, Graduate Committee, August 2015

Service to External Organizations:

  • Committee Member, 1st IEEE SecDev Conference, 2016
  • Committee Member, 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2017
 


 

About

The School of Electrical Engineering and Computer Science was created in the spring of 2015 to allow greater access to courses offered by both departments for undergraduate and graduate students in exciting collaborative research in fields.

We offer B.S. degrees in electrical engineering, computer science, computer engineering and data science and graduate degrees (master's degrees and Ph.D.'s) in electrical engineering and computer science and engineering. EECS focuses on the convergence of technologies and disciplines to meet today’s industrial demands.

School of Electrical Engineering and Computer Science

The Pennsylvania State University

209 Electrical Engineering West

University Park, PA 16802

814-863-6740

Department of Computer Science and Engineering

814-865-9505

Department of Electrical Engineering

814-865-7667