| 2025 | HotOS | Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark. | Jianxing Qin, Alexander Du, Danfeng Zhang, Matthew Lentz, Danyang Zhuo |
| 2025 | SP | Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy. | Yingtai Xiao, Jian Du, Shikun Zhang, Wanrong Zhang, Qian Yang, Danfeng Zhang, Daniel Kifer |
| 2024 | ECOOP | {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming. | Quan Zhou, Sixuan Dang, Danfeng Zhang |
| 2024 | MICRO | Veiled Pathways: Investigating Covert and Side Channels Within GPU Uncore. | Yuanqing Miao, Yingtian Zhang, Dinghao Wu, Danfeng Zhang, Gang Tan, Rui Zhang, Mahmut Taylan Kandemir |
| 2024 | NDSS | TALISMAN: Tamper Analysis for Reference Monitors. | Frank Capobianco, Quan Zhou, Aditya Basu, Trent Jaeger, Danfeng Zhang |
| 2023 | KDD | Learning Discrete Document Representations in Web Search. | Rong Huang, Danfeng Zhang, Weixue Lu, Han Li, Meng Wang, Daiting Shi, Jun Fan, Zhicong Cheng, Simiu Gu, Dawei Yin |
| 2023 | MICRO | Hardware Support for Constant-Time Programming. | Yuanqing Miao, Mahmut Taylan Kandemir, Danfeng Zhang, Yingtian Zhang, Gang Tan, Dinghao Wu |
| 2021 | CCS | DPGen: Automated Program Synthesis for Differential Privacy. | Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang |
| 2021 | PLDI | Fluid: a framework for approximate concurrency via controlled dependency relaxation. | Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang |
| 2020 | CCS | CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. | Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang |
| 2020 | HPCA | BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs. | Gurunath Kadam, Danfeng Zhang, Adwait Jog |
| 2019 | ICIP | Three Orthogonal Vanishing Points Estimation in Structured Scenes Using Convolutional Neural Networks. | Yongjie Shi, Danfeng Zhang, Jingsi Wen, Xin Tong, He Zhao, Xianghua Ying, Hongbin Zha |
| 2019 | PLDI | Proving differential privacy with shadow execution. | Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang |
| 2019 | SP | CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. | Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir |
| 2018 | CCS | Detecting Violations of Differential Privacy. | Zeyu Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer |
| 2018 | HPCA | RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques. | Gurunath Kadam, Danfeng Zhang, Adwait Jog |
| 2018 | ICPR | Radial Lens Distortion Correction by Adding a Weight Layer with Inverted Foveal Models to Convolutional Neural Networks. | Yongjie Shi, Danfeng Zhang, Jingsi Wen, Xin Tong, Xianghua Ying, Hongbin Zha |
| 2017 | ASPLOS | Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. | Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2017 | POPL | LightDP: towards automating differential privacy proofs. | Danfeng Zhang, Daniel Kifer |
| 2016 | DAC | SecDCP: secure dynamic cache partitioning for efficient timing channel protection. | Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2016 | HPCA | Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. | Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh |
| 2015 | ASPLOS | A Hardware Design Language for Timing-Sensitive Information-Flow Security. | Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers |
| 2015 | PLDI | Diagnosing type errors with class. | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | OSDI | Ironclad Apps: End-to-End Security via Automated Full-System Verification. | Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill |
| 2014 | POPL | Toward general diagnosis of static errors. | Danfeng Zhang, Andrew C. Myers |
| 2012 | PLDI | Language-based control and mitigation of timing channels. | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
| 2011 | CCS | Predictive mitigation of timing channels in interactive systems. | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
| 2011 | ISI | Distribution rule of corrosion damage morphology parameters for aluminum alloy. | Danfeng Zhang, Xiaoming Tan, Yueliang Chen |
| 2010 | CCS | Predictive black-box mitigation of timing channels. | Aslan Askarov, Danfeng Zhang, Andrew C. Myers |
| 2007 | APSEC | Toward Efficient Aspect Mining for Linux. | Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen |