Toward Efficient Aspect Mining for Linux. - Danfeng Zhang; Yao Guo 001; Yue Wang; Xiangqun Chen (APSEC, 2007)

Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. - Danfeng Zhang; Yao Guo 001; Xiangqun Chen (ASE, 2008)

AspectC2C: a symmetric aspect extension to the C language. - Danfeng Zhang; Yao Guo 001; Xiangqun Chen (ACM SIGPLAN Notices, 2008)

Predictive black-box mitigation of timing channels. - Aslan Askarov; Danfeng Zhang; Andrew C. Myers (CCS, 2010)

Predictive mitigation of timing channels in interactive systems. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (CCS, 2011)

Distribution rule of corrosion damage morphology parameters for aluminum alloy. - Danfeng Zhang; Xiaoming Tan; Yueliang Chen (ISI, 2011)

Language-based control and mitigation of timing channels. - Danfeng Zhang; Aslan Askarov; Andrew C. Myers (PLDI, 2012)

Fully Automated Colon Segmentation for the Computation of Complete Colon Centerline in Virtual Colonoscopy. - Lin Lu; Danfeng Zhang; Lei Li; Jun Zhao 010 (IEEE Trans. Biomed. Eng., 2012)

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 (OSDI, 2014)

Toward general diagnosis of static errors. - Danfeng Zhang; Andrew C. Myers (POPL, 2014)

A Hardware Design Language for Timing-Sensitive Information-Flow Security. - Danfeng Zhang; Yao Wang 008; G. Edward Suh; Andrew C. Myers (ASPLOS, 2015)

Diagnosing type errors with class. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (PLDI, 2015)

Sound and Practical Methods for Full-System Timing Channel Control. - Danfeng Zhang (2015)

SecDCP: secure dynamic cache partitioning for efficient timing channel protection. - Yao Wang 008; Andrew Ferraiuolo; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (DAC, 2016)

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. - Andrew Ferraiuolo; Yao Wang 008; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (HPCA, 2016)

AutoPriv: Automating Differential Privacy Proofs. - Danfeng Zhang; Daniel Kifer (CoRR, 2016)

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. - Andrew Ferraiuolo; Rui Xu; Danfeng Zhang; Andrew C. Myers; G. Edward Suh (ASPLOS, 2017)

Towards a Flow- and Path-Sensitive Information Flow Analysis. - Peixuan Li; Danfeng Zhang (CSF, 2017)

LightDP: towards automating differential privacy proofs. - Danfeng Zhang; Daniel Kifer (POPL, 2017)

CacheD: Identifying Cache-Based Timing Channels in Production Software. - Shuai Wang 011; Pei Wang 007; Xiao Liu 025; Danfeng Zhang; Dinghao Wu (USENIX Security Symposium, 2017)

PCPPI: a comprehensive database for the prediction of Penicillium-crop protein-protein interactions. - Junyang Yue; Danfeng Zhang; Rongjun Ban; Xiaojing Ma; Danyang Chen; Guangwei Li; Jia Liu; Michael Wisniewski; Samir Droby; Yongsheng Liu (Database J. Biol. Databases Curation, 2017)

Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report. - Peixuan Li; Danfeng Zhang (CoRR, 2017)

SHErrLoc: A Static Holistic Error Locator. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ACM Trans. Program. Lang. Syst., 2017)

Detecting Violations of Differential Privacy. - Zeyu Ding 001; Yuxin Wang 004; Guanhong Wang; Danfeng Zhang; Daniel Kifer (CCS, 2018)

RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques. - Gurunath Kadam; Danfeng Zhang; Adwait Jog (HPCA, 2018)

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 007; Xianghua Ying; Hongbin Zha (ICPR, 2018)

Toward Detecting Violations of Differential Privacy. - Ding Ding; Yuxin Wang 004; Guanhong Wang; Danfeng Zhang; Daniel Kifer (CoRR, 2018)

A derivation framework for dependent security label inference. - Peixuan Li; Danfeng Zhang (Proc. ACM Program. Lang., 2018)

Three Orthogonal Vanishing Points Estimation in Structured Scenes Using Convolutional Neural Networks. - Yongjie Shi; Danfeng Zhang; Jingsi Wen; Xin Tong 007; He Zhao 006; Xianghua Ying; Hongbin Zha (ICIP, 2019)

Proving differential privacy with shadow execution. - Yuxin Wang 004; Zeyu Ding 001; Guanhong Wang; Daniel Kifer; Danfeng Zhang (PLDI, 2019)

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. - Robert Brotzman; Shen Liu 002; Danfeng Zhang; Gang Tan; Mahmut T. Kandemir (IEEE Symposium on Security and Privacy, 2019)

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. - Shuai Wang 011; Yuyan Bao; Xiao Liu 025; Pei Wang 007; Danfeng Zhang; Dinghao Wu (USENIX Security Symposium, 2019)

Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. - Zeyu Ding 001; Yuxin Wang 004; Danfeng Zhang; Dan Kifer (Proc. VLDB Endow., 2019)

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. - Yuxin Wang 004; Zeyu Ding 001; Daniel Kifer; Danfeng Zhang (CCS, 2020)

BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs. - Gurunath Kadam; Danfeng Zhang; Adwait Jog (HPCA, 2020)

Application of Deep Learning for Online Handwritten Mathematical Expression Recognition: A Review. - Danfeng Zhang; Jun Tan 001 (ICPRAI, 2020)

Integrating Co-Clustering and Interpretable Machine Learning for the Prediction of Intravenous Immunoglobulin Resistance in Kawasaki Disease. - Haolin Wang 001; Zhilin Huang; Danfeng Zhang; Johan Arief; Tiewei Lyu; Jie Tian (IEEE Access, 2020)

Longitudinal associations among neuroticism, depression, and cyberbullying in early adolescents. - Danfeng Zhang; E. Scott Huebner; Lili Tian (Comput. Hum. Behav., 2020)

Guidelines for Implementing and Auditing Differentially Private Systems. - Daniel Kifer; Solomon Messing; Aaron Roth 001; Abhradeep Thakurta; Danfeng Zhang (CoRR, 2020)

DPGen: Automated Program Synthesis for Differential Privacy. - Yuxin Wang 004; Zeyu Ding 001; Yingtai Xiao; Daniel Kifer; Danfeng Zhang (CCS, 2021)

Ghost Thread: Effective User-Space Cache Side Channel Protection. - Robert Brotzman; Danfeng Zhang; Mahmut T. Kandemir; Gang Tan (CODASPY, 2021)

Fluid: a framework for approximate concurrency via controlled dependency relaxation. - Huaipan Jiang; Haibo Zhang 005; Xulong Tang; Vineetha Govindaraj; Jack Sampson; Mahmut Taylan Kandemir; Danfeng Zhang (PLDI, 2021)

The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise. - Zeyu Ding 001; Daniel Kifer; Sayed M. Saghaian N. E.; Thomas Steinke 002; Yuxin Wang 004; Yingtai Xiao; Danfeng Zhang (CoRR, 2021)

Understanding TEE Containers, Easy to Use? Hard to Trust. - Weijie Liu 004; Hongbo Chen; XiaoFeng Wang 001; Zhi Li 048; Danfeng Zhang; Wenhao Wang 001; Haixu Tang (CoRR, 2021)

SpecSafe: detecting cache side channels in a speculative world. - Robert Brotzman; Danfeng Zhang; Mahmut Taylan Kandemir; Gang Tan (Proc. ACM Program. Lang., 2021)

Optimizing Fitness-For-Use of Differentially Private Linear Queries. - Yingtai Xiao; Zeyu Ding 001; Yuxin Wang 004; Danfeng Zhang; Daniel Kifer (Proc. VLDB Endow., 2021)

Performant Binary Fuzzing without Source Code using Static Instrumentation. - Eric Pauley; Gang Tan; Danfeng Zhang; Patrick D. McDaniel (CNS, 2022)

Towards a General-Purpose Dynamic Information Flow Policy. - Peixuan Li; Danfeng Zhang (CSF, 2022)

Path following method for a snake robot based on virtual edge guidance strategy. - Danfeng Zhang; Jinna Li; Wenhua Tao (ICCA, 2022)

Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System. - Zhendong Wang; Xiaoming Zeng; Xulong Tang; Danfeng Zhang; Xing Hu; Yang Hu 001 (CoRR, 2022)

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 (KDD, 2023)

Hardware Support for Constant-Time Programming. - Yuanqing Miao; Mahmut Taylan Kandemir; Danfeng Zhang; Yingtian Zhang; Gang Tan; Dinghao Wu (MICRO, 2023)

An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions. - Yingtai Xiao; Guanlin He; Danfeng Zhang; Daniel Kifer (NeurIPS, 2023)

A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism. - Zeyu Ding 001; John Durrell; Daniel Kifer; Prottay Protivash; Guanhong Wang; Yuxin Wang 004; Yingtai Xiao; Danfeng Zhang (CoRR, 2023)

Improving bowel preparation for colonoscopy with a smartphone application driven by artificial intelligence. - Yan Zhu; Danfeng Zhang; Huili Wu; Peiyao Fu; Li Feng; Kun Zhuang; Zihan Geng; Kunkun Li; Xiaohong Zhang; Boqun Zhu; Wenzheng Qin; Shengli Lin; et al. (npj Digit. Medicine, 2023)

Answering Private Linear Queries Adaptively using the Common Mechanism. - Yingtai Xiao; Guanhong Wang; Danfeng Zhang; Daniel Kifer (Proc. VLDB Endow., 2023)

PrecipGradeNet: A New Paradigm and Model for Precipitation Retrieval with Grading of Precipitation Intensity. - Danfeng Zhang; Yuqing He; Xiaoqing Li; Lu Zhang; Na Xu (Remote. Sens., 2023)

Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms. - Zeyu Ding 001; Yuxin Wang 004; Yingtai Xiao; Guanhong Wang; Danfeng Zhang; Daniel Kifer (VLDB J., 2023)

Quantifying and Mitigating Cache Side Channel Leakage with Differential Set. - Cong Ma; Dinghao Wu; Gang Tan; Mahmut Taylan Kandemir; Danfeng Zhang (Proc. ACM Program. Lang., 2023)

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming. - Quan Zhou; Sixuan Dang; Danfeng Zhang (ECOOP, 2024)

Veiled Pathways: Investigating Covert and Side Channels Within GPU Uncore. - Yuanqing Miao; Yingtian Zhang; Dinghao Wu; Danfeng Zhang; Gang Tan; Rui Zhang 037; Mahmut Taylan Kandemir (MICRO, 2024)

TALISMAN: Tamper Analysis for Reference Monitors. - Frank Capobianco; Quan Zhou; Aditya Basu; Trent Jaeger; Danfeng Zhang (NDSS, 2024)

Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols. - Feiyang Yu; Quan Zhou; Syed Rafiul Hussain; Danfeng Zhang (USENIX Security Symposium, 2024)

Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy. - Yingtai Xiao; Jian Du; Shikun Zhang; Qiang Yan; Danfeng Zhang; Daniel Kifer (CoRR, 2024)

AGORA: Open More and Trust Less in Binary Verification Service. - Hongbo Chen; Quan Zhou; Sen Yang; Xing Han; Fan Zhang 019; Danfeng Zhang; XiaoFeng Wang 001 (CoRR, 2024)

CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact). - Quan Zhou; Sixuan Dang; Danfeng Zhang (Dagstuhl Artifacts Ser., 2024)

Reconstruction Attacks on Aggressive Relaxations of Differential Privacy. - Prottay Protivash; John Durrell; Daniel Kifer; Zeyu Ding 001; Danfeng Zhang (J. Priv. Confidentiality, 2024)

Exact Privacy Analysis of the Gaussian Sparse Histogram Mechanism. - Arjun Wilkins; Daniel Kifer; Danfeng Zhang; Brian Karrer (J. Priv. Confidentiality, 2024)

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 (HotOS, 2025)

Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy. - Yingtai Xiao; Jian Du; Shikun Zhang; Wanrong Zhang 004; Qian Yang; Danfeng Zhang; Daniel Kifer (SP, 2025)