Peer-reviewed publications

[HPCA'18]

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

Gurunath Kadam, Danfeng Zhang and Adwait Jog.
Proceedings of the 24th International Symposium on High-Performance Computer Architecture (HPCA), 2018, to appear.
[TOPLAS]

SHErrLoc: a static holistic error locator.

[ACM]
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton‑Jones.
ACM Transactions on Programming Languages and Systems, 2017, Volume 39 Issue 4, Article No. 18.
[USENIX Security'17]

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

[PDF]
Shuai Wang, Pei Wang, Xiao Liu, Danfeng Zhang and Dinghao Wu.
Proc. of the 26th USENIX Security Symposium, 2017, pp. 235-252.
[CSF'17]

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

[PDF] [Slides]
Peixuan Li and Danfeng Zhang.
Proc. of the 30th IEEE Computer Security Foundations Symposium, 2017, pp. 53-67.
[ASPLOS'17]

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

[PDF]
Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers and G. Edward Suh.
Proc. of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems, 2017, pp. 555-568.
[POPL'17]

LightDP: Towards Automating Differential Privacy Proofs.

[PDF] [Slides]
Danfeng Zhang and Daniel Kifer.
Proc. of the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2017, pp. 888-901.
[DAC'16]

SecDCP: Secure Dynamic Cache Partitioning for Efficient Timing Channel Protection

[PDF]
Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, and G. Edward Suh.
Proceedings of the the 53rd Design Automation Conference (DAC), June 2016, Article No. 74.
[HPCA'16]

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

[PDF]
Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers and G. Edward Suh.
Proceedings of the 22nd International Symposium on High-Performance Computer Architecture (HPCA), 2016, pp. 382-393.
[PLDI'15, Distinguished paper award]

Diagnosing Type Errors with Class.

[PDF] [Slides] [Poster] [Demo]
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton‑Jones.
Proc. of the 36th ACM SIGPLAN conference on Programming Language Design and Implementation, 2015, pp. 12–21.
[ASPLOS'15]

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

[PDF] [Slides] [Release]
Danfeng Zhang, Yao Wang, G. Edward Suh and Andrew C. Myers.
Proc. of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems, 2015, pp. 503–516.
[OSDI'14]

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


Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang and Brian Zill.
Proc. of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014, pp. 165-181.
[POPL'14]

Toward General Diagnosis of Static Errors.

[PDF] [Slides] [Poster] [Demo] [Release]
Danfeng Zhang and Andrew C. Myers.
Proc. of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, pp. 569-581.
[PLDI'12]

Language-based Control and Mitigation of Timing Channels.

[PDF] [Slides] [Poster]
Danfeng Zhang, Aslan Askarov and Andrew C. Myers.
Proc. of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, 2012, pp. 99-110.
[CCS'11]

Predictive Mitigation of Timing Channels in Interactive Systems.

[PDF] [Slides] [Poster]
Danfeng Zhang, Aslan Askarov and Andrew C. Myers.
Proc. of the 18th ACM Conference on Computer and Communications Security, 2011, pp. 563-574.
[CCS'10]

Predictive Black-box Mitigation of Timing Channels.

[PDF]
Aslan Askarov, Danfeng Zhang and Andrew C. Myers.
Proc. of the 17th ACM Conference on Computer and Communications Security, 2010, pp. 297-307.
[ASE'08]

Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.

[PDF] [Slides]
Danfeng Zhang, Yao Guo and Xiangqun Chen.
Proc. of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008, pp. 278-287.
[APSEC'07]

Toward Efficient Aspect Mining for Linux.

[IEEE] [Slides]
Danfeng Zhang, Yao Guo, Yue Wang and Xiangqun Chen.
Proc. of the 14th Asia-Pacific Software Engineering Conference, 2007, pp. 191-198.

Non-peer-reviewed papers, reports

Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report.

[arXiv]
Peixuan Li and Danfeng Zhang.
arXiv:1706.01407 [cs.PL], June 2017.

LightDP: Towards Automating Differential Privacy Proofs.

[arXiv]
Danfeng Zhang and Daniel Kifer.
arXiv:1607.08228 [cs.PL], July 2016.

Full-processor timing channel protection with applications to secure hardware compartments.

[PDF]
Andrew Ferraiuolo, Yao Wang, Rui Xu, Danfeng Zhang, Andrew C. Myers, and G. Edward Suh.
Computing and Information Science Technical Report, Cornell University, November 2015.

Sound and practical methods for full-system timing channel control.

[PDF]
Danfeng Zhang.
Ph.D. dissertation, Cornell University Department of Computer Science, August 2015.

Diagnosing Haskell Type Errors.

[PDF]
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton-Jones.
Computing and Information Science Technical Report, Cornell University, April 2015.

A Hardware Design Language for Efficient Control of Timing Channels.

[PDF]
Danfeng Zhang, Yao Wang, G. Edward Suh and Andrew C. Myers.
Computing and Information Science Technical Report, Cornell University, April 2014.

Toward General Diagnosis of Static Errors: Technical Report.

[PDF]
Danfeng Zhang and Andrew C. Myers.
Computing and Information Science Technical Report, Cornell University, August 2013.

Language Mechanisms for Controlling and Mitigating Timing Channels.

[PDF]
Danfeng Zhang, Aslan Askarov and Andrew C. Myers.
Computing and Information Science Technical Report, , Cornell University, March 2012.

AspectC2C: a Symmetric Aspect Extension to the C Language.

[ACM]
Danfeng Zhang, Yao Guo and Xiangqun Chen.
ACM SIGPLAN Notices, Vol 43, Issue 2, 2008, pp. 25-32.

Distributing papers

The papers available here have been provided as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.