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
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]Quan Zhou, Sixuan Dang, Danfeng Zhang:
CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact). Dagstuhl Artifacts Ser. 10(2): 26:1-26:5 (2024) - [j17]Arjun Wilkins
, Daniel Kifer, Danfeng Zhang
Exact Privacy Analysis of the Gaussian Sparse Histogram Mechanism. J. Priv. Confidentiality 14(1) (2024) - [j16]Prottay Protivash
Reconstruction Attacks on Aggressive Relaxations of Differential Privacy. J. Priv. Confidentiality 14(3) (2024) - [c39]Quan Zhou, Sixuan Dang, Danfeng Zhang:
{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming. ECOOP 2024: 46:1-46:26 - [c38]Yuanqing Miao, Yingtian Zhang, Dinghao Wu, Danfeng Zhang, Gang Tan, Rui Zhang, Mahmut Taylan Kandemir:
Veiled Pathways: Investigating Covert and Side Channels Within GPU Uncore. MICRO 2024: 1169-1183 - [c37]Frank Capobianco, Quan Zhou, Aditya Basu, Trent Jaeger, Danfeng Zhang:
TALISMAN: Tamper Analysis for Reference Monitors. NDSS 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 - [i22]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) - [i21]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 abs/2407.15062 (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
Improving bowel preparation for colonoscopy with a smartphone application driven by artificial intelligence. npj Digit. Medicine 6 (2023) - [j14]Cong Ma
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
Answering Private Linear Queries Adaptively using the Common Mechanism. Proc. VLDB Endow. 16(8): 1883-1896 (2023) - [j12]Danfeng Zhang, Yuqing He
PrecipGradeNet: A New Paradigm and Model for Precipitation Retrieval with Grading of Precipitation Intensity. Remote. Sens. 15(1): 227 (2023) - [j11]Zeyu Ding
Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms. VLDB J. 32(1): 23-48 (2023) - [c35]Rong Huang
Learning Discrete Document Representations in Web Search. KDD 2023: 4185-4194 - [c34]Yuanqing Miao
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
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
Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System. CoRR abs/2208.13720 (2022) - [i16]Prottay Protivash, John Durrell, Zeyu Ding
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
SpecSafe: detecting cache side channels in a speculative world. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j9]Yingtai Xiao
Optimizing Fitness-For-Use of Differentially Private Linear Queries. Proc. VLDB Endow. 14(10): 1730-1742 (2021) - [c29]Yuxin Wang
DPGen: Automated Program Synthesis for Differential Privacy. CCS 2021: 393-411 - [c28]Robert Brotzman, Danfeng Zhang
Ghost Thread: Effective User-Space Cache Side Channel Protection. CODASPY 2021: 233-244 - [c27]Huaipan Jiang, Haibo Zhang, Xulong Tang
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
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
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. CCS 2020: 919-938 - [c25]Gurunath Kadam
BCoal: Bucketing-Based Memory Coalescing for Efficient and Secure GPUs. HPCA 2020: 570-581 - [c24]Danfeng Zhang
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
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
Proving differential privacy with shadow execution. PLDI 2019: 655-669 - [c21]Robert Brotzman, Shen Liu
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
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
Detecting Violations of Differential Privacy. CCS 2018: 475-489 - [c18]Gurunath Kadam
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
PCPPI: a comprehensive database for the prediction of Penicillium-crop protein-protein interactions. Database J. Biol. Databases Curation 2017: baw170 (2017) - [j3]Danfeng Zhang
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
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
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
SecDCP: secure dynamic cache partitioning for efficient timing channel protection. DAC 2016: 74:1-74:6 - [c11]Andrew Ferraiuolo, Yao Wang, Danfeng Zhang
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
A Hardware Design Language for Timing-Sensitive Information-Flow Security. ASPLOS 2015: 503-516 - [c9]Danfeng Zhang
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
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
Language-based control and mitigation of timing channels. PLDI 2012: 99-110 - 2011
- [c5]Danfeng Zhang
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
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
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. ASE 2008: 278-287 - 2007
- [c1]Danfeng Zhang, Yao Guo
Toward Efficient Aspect Mining for Linux. APSEC 2007: 191-198
Coauthor Index
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-12-12 21:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: