![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Danfeng Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c36]Feiyang Yu, Quan Zhou, Syed Rafiul Hussain, Danfeng Zhang:
Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols. USENIX Security Symposium 2024 - [i21]Yingtai Xiao, Jian Du, Shikun Zhang, Qiang Yan, Danfeng Zhang, Daniel Kifer:
Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy. CoRR abs/2406.02463 (2024) - 2023
- [j15]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) - [j14]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): 1470-1498 (2023) - [j13]Yingtai Xiao, Guanhong Wang, Danfeng Zhang
, Daniel Kifer
:
Answering Private Linear Queries Adaptively using the Common Mechanism. Proc. VLDB Endow. 16(8): 1883-1896 (2023) - [j12]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): 227 (2023) - [j11]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): 23-48 (2023) - [c35]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: 4185-4194 - [c34]Yuanqing Miao
, Mahmut Taylan Kandemir
, Danfeng Zhang
, Yingtian Zhang
, Gang Tan
, Dinghao Wu
:
Hardware Support for Constant-Time Programming. MICRO 2023: 856-870 - [c33]Yingtai Xiao, Guanlin He, Danfeng Zhang, Daniel Kifer:
An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions. NeurIPS 2023 - [i20]Yingtai Xiao, Guanlin He, Danfeng Zhang, Daniel Kifer:
An Optimal and Scalable Matrix Mechanism for Noisy Marginals under Convex Loss Functions. CoRR abs/2305.08175 (2023) - [i19]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 abs/2308.08057 (2023) - 2022
- [c32]Eric Pauley, Gang Tan, Danfeng Zhang
, Patrick D. McDaniel:
Performant Binary Fuzzing without Source Code using Static Instrumentation. CNS 2022: 226-235 - [c31]Peixuan Li, Danfeng Zhang
:
Towards a General-Purpose Dynamic Information Flow Policy. CSF 2022: 260-275 - [c30]Danfeng Zhang, Jinna Li, Wenhua Tao:
Path following method for a snake robot based on virtual edge guidance strategy. ICCA 2022: 778-783 - [i18]Brian Karrer, Daniel Kifer, Arjun Wilkins, Danfeng Zhang:
Exact Privacy Analysis of the Gaussian Sparse Histogram Mechanism. CoRR abs/2202.01100 (2022) - [i17]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 abs/2208.13720 (2022) - [i16]Prottay Protivash, John Durrell, Zeyu Ding
, Danfeng Zhang, Daniel Kifer:
Reconstruction Attacks on Aggressive Relaxations of Differential Privacy. CoRR abs/2209.03905 (2022) - [i15]Yingtai Xiao, Guanhong Wang, Danfeng Zhang, Daniel Kifer:
Answering Private Linear Queries Adaptively using the Common Mechanism. CoRR abs/2212.00135 (2022) - 2021
- [j10]Robert Brotzman, Danfeng Zhang
, Mahmut Taylan Kandemir, Gang Tan:
SpecSafe: detecting cache side channels in a speculative world. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j9]Yingtai Xiao
, Zeyu Ding
, Yuxin Wang
, Danfeng Zhang
, Daniel Kifer
:
Optimizing Fitness-For-Use of Differentially Private Linear Queries. Proc. VLDB Endow. 14(10): 1730-1742 (2021) - [c29]Yuxin Wang
, Zeyu Ding
, Yingtai Xiao
, Daniel Kifer
, Danfeng Zhang
:
DPGen: Automated Program Synthesis for Differential Privacy. CCS 2021: 393-411 - [c28]Robert Brotzman, Danfeng Zhang
, Mahmut T. Kandemir, Gang Tan:
Ghost Thread: Effective User-Space Cache Side Channel Protection. CODASPY 2021: 233-244 - [c27]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: 252-267 - [i14]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 abs/2105.07260 (2021) - [i13]Weijie Liu, Hongbo Chen, XiaoFeng Wang, Zhi Li, Danfeng Zhang, Wenhao Wang, Haixu Tang:
Understanding TEE Containers, Easy to Use? Hard to Trust. CoRR abs/2109.01923 (2021) - [i12]Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, Danfeng Zhang:
DPGen: Automated Program Synthesis for Differential Privacy. CoRR abs/2109.07441 (2021) - [i11]Peixuan Li, Danfeng Zhang:
Towards a General-Purpose Dynamic Information Flow Policy. CoRR abs/2109.08096 (2021) - 2020
- [j8]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: 97064-97071 (2020) - [j7]Danfeng Zhang, E. Scott Huebner, Lili Tian:
Longitudinal associations among neuroticism, depression, and cyberbullying in early adolescents. Comput. Hum. Behav. 112: 106475 (2020) - [c26]Yuxin Wang
, Zeyu Ding
, Daniel Kifer, Danfeng Zhang
:
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CCS 2020: 919-938 - [c25]Gurunath Kadam
, Danfeng Zhang
, Adwait Jog:
BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs. HPCA 2020: 570-581 - [c24]Danfeng Zhang
, Jun Tan
:
Application of Deep Learning for Online Handwritten Mathematical Expression Recognition: A Review. ICPRAI 2020: 115-124 - [i10]Daniel Kifer, Solomon Messing, Aaron Roth, Abhradeep Thakurta, Danfeng Zhang:
Guidelines for Implementing and Auditing Differentially Private Systems. CoRR abs/2002.04049 (2020) - [i9]Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang:
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CoRR abs/2008.07485 (2020) - [i8]Yingtai Xiao, Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer:
Optimizing Fitness-For-Use of Differentially Private Linear Queries. CoRR abs/2012.00135 (2020) - [i7]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 abs/2012.01592 (2020)
2010 – 2019
- 2019
- [j6]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): 293-306 (2019) - [c23]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: 3537-3541 - [c22]Yuxin Wang
, Zeyu Ding
, Guanhong Wang, Daniel Kifer
, Danfeng Zhang
:
Proving differential privacy with shadow execution. PLDI 2019: 655-669 - [c21]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: 505-521 - [c20]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: 657-674 - [i6]Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang:
Proving Differential Privacy with Shadow Execution. CoRR abs/1903.12254 (2019) - [i5]Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer:
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. CoRR abs/1904.12773 (2019) - [i4]Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu:
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. CoRR abs/1905.13332 (2019) - 2018
- [j5]Peixuan Li, Danfeng Zhang
:
A derivation framework for dependent security label inference. Proc. ACM Program. Lang. 2(OOPSLA): 115:1-115:26 (2018) - [c19]Zeyu Ding
, Yuxin Wang
, Guanhong Wang, Danfeng Zhang
, Daniel Kifer
:
Detecting Violations of Differential Privacy. CCS 2018: 475-489 - [c18]Gurunath Kadam
, Danfeng Zhang
, Adwait Jog:
RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques. HPCA 2018: 156-167 - [c17]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: 1-6 - [i3]Ding Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, Daniel Kifer:
Toward Detecting Violations of Differential Privacy. CoRR abs/1805.10277 (2018) - 2017
- [j4]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: baw170 (2017) - [j3]Danfeng Zhang
, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones:
SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. 39(4): 18:1-18:47 (2017) - [c16]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: 555-568 - [c15]Peixuan Li, Danfeng Zhang
:
Towards a Flow- and Path-Sensitive Information Flow Analysis. CSF 2017: 53-67 - [c14]Danfeng Zhang
, Daniel Kifer:
LightDP: towards automating differential privacy proofs. POPL 2017: 888-901 - [c13]Shuai Wang, Pei Wang, Xiao Liu, Danfeng Zhang, Dinghao Wu:
CacheD: Identifying Cache-Based Timing Channels in Production Software. USENIX Security Symposium 2017: 235-252 - [i2]Peixuan Li, Danfeng Zhang:
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report. CoRR abs/1706.01407 (2017) - 2016
- [c12]Yao Wang, Andrew Ferraiuolo, Danfeng Zhang
, Andrew C. Myers, G. Edward Suh
:
SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC 2016: 74:1-74:6 - [c11]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: 382-393 - [i1]Danfeng Zhang, Daniel Kifer:
AutoPriv: Automating Differential Privacy Proofs. CoRR abs/1607.08228 (2016) - 2015
- [b1]Danfeng Zhang:
Sound and Practical Methods for Full-System Timing Channel Control. Cornell University, USA, 2015 - [c10]Danfeng Zhang
, Yao Wang, G. Edward Suh
, Andrew C. Myers:
A Hardware Design Language for Timing-Sensitive Information-Flow Security. ASPLOS 2015: 503-516 - [c9]Danfeng Zhang
, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones:
Diagnosing type errors with class. PLDI 2015: 12-21 - 2014
- [c8]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: 165-181 - [c7]Danfeng Zhang
, Andrew C. Myers:
Toward general diagnosis of static errors. POPL 2014: 569-582 - 2012
- [j2]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): 996-1004 (2012) - [c6]Danfeng Zhang
, Aslan Askarov, Andrew C. Myers:
Language-based control and mitigation of timing channels. PLDI 2012: 99-110 - 2011
- [c5]Danfeng Zhang
, Aslan Askarov, Andrew C. Myers:
Predictive mitigation of timing channels in interactive systems. CCS 2011: 563-574 - [c4]Danfeng Zhang, Xiaoming Tan, Yueliang Chen:
Distribution rule of corrosion damage morphology parameters for aluminum alloy. ISI 2011: 358-361 - 2010
- [c3]Aslan Askarov, Danfeng Zhang
, Andrew C. Myers:
Predictive black-box mitigation of timing channels. CCS 2010: 297-307
2000 – 2009
- 2008
- [j1]Danfeng Zhang, Yao Guo, Xiangqun Chen:
AspectC2C: a symmetric aspect extension to the C language. ACM SIGPLAN Notices 43(2): 25-32 (2008) - [c2]Danfeng Zhang
, Yao Guo
, Xiangqun Chen:
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. ASE 2008: 278-287 - 2007
- [c1]Danfeng Zhang, Yao Guo
, Yue Wang, Xiangqun Chen:
Toward Efficient Aspect Mining for Linux. APSEC 2007: 191-198
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-23 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint