Danfeng Zhang - RankMe

83 papers A* 29A 4B 2C 2Journal 41Unranked 4

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