Danfeng Zhang

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 61

Top Topics

Differentially Private

Convolutional Neural Networks

Abstract Interpretation

Differential Privacy

Top Venues

Proc. VLDB Endow.

USENIX Security Symposium

Publications

Feiyang Yu, Quan Zhou, Syed Rafiul Hussain, Danfeng Zhang
Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols. USENIX Security Symposium (2024)
Hongbo Chen, Quan Zhou, Sen Yang, Xing Han, Fan Zhang, Danfeng Zhang, XiaoFeng Wang
AGORA: Open More and Trust Less in Binary Verification Service. CoRR (2024)
Yingtai Xiao, Jian Du, Shikun Zhang, Qiang Yan, Danfeng Zhang, Daniel Kifer
Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy. CoRR (2024)
Danfeng Zhang, Yuqing He, Xiaoqing Li, Lu Zhang, Na Xu
PrecipGradeNet: A New Paradigm and Model for Precipitation Retrieval with Grading of Precipitation Intensity. Remote. Sens. 15 (1) (2023)
Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang
Quantifying and Mitigating Cache Side Channel Leakage with Differential Set. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yuanqing Miao, Mahmut Taylan Kandemir, Danfeng Zhang, Yingtian Zhang, Gang Tan, Dinghao Wu
Hardware Support for Constant-Time Programming. MICRO (2023)
Yan Zhu, Danfeng Zhang, Huili Wu, Peiyao Fu, Li Feng, Kun Zhuang, Zihan Geng, Kunkun Li, Xiaohong Zhang, Boqun Zhu, Wenzheng Qin, Shengli Lin, Zhen Zhang, Tianyin Chen, Yuan Huang, Xiaoyue Xu, Jingzheng Liu, Shuo Wang, Wei Zhang, Quanlin Li, Pinghong Zhou
Improving bowel preparation for colonoscopy with a smartphone application driven by artificial intelligence. npj Digit. Medicine 6 (2023)
Zeyu Ding, Yuxin Wang, Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms. VLDB J. 32 (1) (2023)
Zeyu Ding, John Durrell, Daniel Kifer, Prottay Protivash, Guanhong Wang, Yuxin Wang, Yingtai Xiao, Danfeng Zhang
A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism. CoRR (2023)
Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Answering Private Linear Queries Adaptively using the Common Mechanism. Proc. VLDB Endow. 16 (8) (2023)
Rong Huang, Danfeng Zhang, Weixue Lu, Han Li, Meng Wang, Daiting Shi, Jun Fan, Zhicong Cheng, Simiu Gu, Dawei Yin
Learning Discrete Document Representations in Web Search. KDD (2023)
Yingtai Xiao, Guanlin He, Danfeng Zhang, Daniel Kifer
An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions. NeurIPS (2023)
Yingtai Xiao, Guanlin He, Danfeng Zhang, Daniel Kifer
An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions. CoRR (2023)
Eric Pauley, Gang Tan, Danfeng Zhang, Patrick D. McDaniel
Performant Binary Fuzzing without Source Code using Static Instrumentation. CNS (2022)
Zhendong Wang, Xiaoming Zeng, Xulong Tang, Danfeng Zhang, Xing Hu, Yang Hu
Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System. CoRR (2022)
Peixuan Li, Danfeng Zhang
Towards a General-Purpose Dynamic Information Flow Policy. CSF (2022)
Prottay Protivash, John Durrell, Zeyu Ding, Danfeng Zhang, Daniel Kifer
Reconstruction Attacks on Aggressive Relaxations of Differential Privacy. CoRR (2022)
Danfeng Zhang, Jinna Li, Wenhua Tao
Path following method for a snake robot based on virtual edge guidance strategy. ICCA (2022)
Brian Karrer, Daniel Kifer, Arjun Wilkins, Danfeng Zhang
Exact Privacy Analysis of the Gaussian Sparse Histogram Mechanism. CoRR (2022)
Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Answering Private Linear Queries Adaptively using the Common Mechanism. CoRR (2022)
Yingtai Xiao, Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
Optimizing Fitness-For-Use of Differentially Private Linear Queries. Proc. VLDB Endow. 14 (10) (2021)
Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang
DPGen: Automated Program Synthesis for Differential Privacy. CoRR (2021)
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, Gang Tan
SpecSafe: detecting cache side channels in a speculative world. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang
DPGen: Automated Program Synthesis for Differential Privacy. CCS (2021)
Weijie Liu, Hongbo Chen, XiaoFeng Wang, Zhi Li, Danfeng Zhang, Wenhao Wang, Haixu Tang
Understanding TEE Containers, Easy to Use? Hard to Trust. CoRR (2021)
Zeyu Ding, Daniel Kifer, Sayed M. Saghaian N. E., Thomas Steinke, Yuxin Wang, Yingtai Xiao, Danfeng Zhang
The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise. CoRR (2021)
Robert Brotzman, Danfeng Zhang, Mahmut T. Kandemir, Gang Tan
Ghost Thread: Effective User-Space Cache Side Channel Protection. CODASPY (2021)
Peixuan Li, Danfeng Zhang
Towards a General-Purpose Dynamic Information Flow Policy. CoRR (2021)
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, Danfeng Zhang
Fluid: a framework for approximate concurrency via controlled dependency relaxation. PLDI (2021)
Zeyu Ding, Yuxin Wang, Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Free Gap Estimates from the Exponential Mechanism, Sparse Vector, Noisy Max and Related Algorithms. CoRR (2020)
Danfeng Zhang, Jun Tan
Application of Deep Learning for Online Handwritten Mathematical Expression Recognition: A Review. ICPRAI (2020)
Yingtai Xiao, Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
Optimizing Fitness-For-Use of Differentially Private Linear Queries. CoRR (2020)
Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CCS (2020)
Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CoRR (2020)
Gurunath Kadam, Danfeng Zhang, Adwait Jog
BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs. HPCA (2020)
Daniel Kifer, Solomon Messing, Aaron Roth, Abhradeep Thakurta, Danfeng Zhang
Guidelines for Implementing and Auditing Differentially Private Systems. CoRR (2020)
Haolin Wang, Zhilin Huang, Danfeng Zhang, Johan Arief, Tiewei Lyu, Jie Tian
Integrating Co-Clustering and Interpretable Machine Learning for the Prediction of Intravenous Immunoglobulin Resistance in Kawasaki Disease. IEEE Access 8 (2020)
Danfeng Zhang, E. Scott Huebner, Lili Tian
Longitudinal associations among neuroticism, depression, and cyberbullying in early adolescents. Comput. Hum. Behav. 112 (2020)
Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. CoRR (2019)
Zeyu Ding, Yuxin Wang, Danfeng Zhang, Dan Kifer
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. Proc. VLDB Endow. 13 (3) (2019)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. CoRR (2019)
Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang
Proving Differential Privacy with Shadow Execution. CoRR (2019)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. USENIX Security Symposium (2019)
Yongjie Shi, Danfeng Zhang, Jingsi Wen, Xin Tong, He Zhao, Xianghua Ying, Hongbin Zha
Three Orthogonal Vanishing Points Estimation in Structured Scenes Using Convolutional Neural Networks. ICIP (2019)
Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. IEEE Symposium on Security and Privacy (2019)
Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang
Proving differential privacy with shadow execution. PLDI (2019)
Peixuan Li, Danfeng Zhang
A derivation framework for dependent security label inference. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Gurunath Kadam, Danfeng Zhang, Adwait Jog
RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques. HPCA (2018)
Yongjie Shi, Danfeng Zhang, Jingsi Wen, Xin Tong, Xianghua Ying, Hongbin Zha
Radial Lens Distortion Correction by Adding a Weight Layer with Inverted Foveal Models to Convolutional Neural Networks. ICPR (2018)
Ding Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Toward Detecting Violations of Differential Privacy. CoRR (2018)
Zeyu Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer
Detecting Violations of Differential Privacy. CCS (2018)
Danfeng Zhang, Daniel Kifer
LightDP: towards automating differential privacy proofs. POPL (2017)
Peixuan Li, Danfeng Zhang
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report. CoRR (2017)
Peixuan Li, Danfeng Zhang
Towards a Flow- and Path-Sensitive Information Flow Analysis. CSF (2017)
Shuai Wang, Pei Wang, Xiao Liu, Danfeng Zhang, Dinghao Wu
CacheD: Identifying Cache-Based Timing Channels in Production Software. USENIX Security Symposium (2017)
Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis. ASPLOS (2017)
Junyang Yue, Danfeng Zhang, Rongjun Ban, Xiaojing Ma, Danyang Chen, Guangwei Li, Jia Liu, Michael Wisniewski, Samir Droby, Yongsheng Liu
PCPPI: a comprehensive database for the prediction of Penicillium-crop protein-protein interactions. Database J. Biol. Databases Curation 2017 (2017)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller. HPCA (2016)
Danfeng Zhang, Daniel Kifer
AutoPriv: Automating Differential Privacy Proofs. CoRR (2016)
Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh
SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC (2016)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
Diagnosing type errors with class. PLDI (2015)
Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers
A Hardware Design Language for Timing-Sensitive Information-Flow Security. ASPLOS (2015)
Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
Ironclad Apps: End-to-End Security via Automated Full-System Verification. OSDI (2014)
Danfeng Zhang, Andrew C. Myers
Toward general diagnosis of static errors. POPL (2014)
Lin Lu, Danfeng Zhang, Lei Li, Jun Zhao
Fully Automated Colon Segmentation for the Computation of Complete Colon Centerline in Virtual Colonoscopy. IEEE Trans. Biomed. Eng. 59 (4) (2012)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Language-based control and mitigation of timing channels. PLDI (2012)
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
Predictive mitigation of timing channels in interactive systems. CCS (2011)
Danfeng Zhang, Xiaoming Tan, Yueliang Chen
Distribution rule of corrosion damage morphology parameters for aluminum alloy. ISI (2011)
Aslan Askarov, Danfeng Zhang, Andrew C. Myers
Predictive black-box mitigation of timing channels. CCS (2010)
Danfeng Zhang, Yao Guo, Xiangqun Chen
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. ASE (2008)
Danfeng Zhang, Yao Guo, Xiangqun Chen
AspectC2C: a symmetric aspect extension to the C language. ACM SIGPLAN Notices 43 (2) (2008)
Danfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen
Toward Efficient Aspect Mining for Linux. APSEC (2007)