Danfeng Zhang - Concepedia

Author

Danfeng Zhang

Pennsylvania State University ORCID

Also Known As

D.C. Zhang, Dan-Feng Zhang, Danfeng Zhang, Stefano Zanero, Toksoz, Levent, Yan, Qiang, Zhang, Danfeng

101

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Pennsylvania State University Cornell University Peking University Microsoft (United States)William & Mary

About

Danfeng Zhang is an author at Pennsylvania State University specializing in engineering, computer science, and data security.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	23	1.3K
2	Business	1	1	25
3	Public Health	1	1	43
4	Accounting	1	1	25
5	Biostatistics	1	1	43

Danfeng Zhang

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
Predictive black-box mitigation of timing channels Aslan Askarov, Danfeng Zhang, Andrew C. Myers EngineeringInformation SecurityInformation LeakageComputer ArchitectureSide-channel Attack	2010	153
Ironclad apps: end-to-end security via automated full-system verification Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Operating Systems Design and Implementation EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2014	149
A Hardware Design Language for Timing-Sensitive Information-Flow Security Danfeng Zhang, Yao Wang, G. Edward Suh, EngineeringHardware Verification LanguageInformation SecurityComputer ArchitectureHardware Design Language	2015	140
Language-based control and mitigation of timing channels Danfeng Zhang, Aslan Askarov, Andrew C. Myers External Timing ChannelsEngineeringInstruction CachesCompiler TechnologyReal-time System Design	2012	130
Predictive mitigation of timing channels in interactive systems Danfeng Zhang, Aslan Askarov, Andrew C. Myers EngineeringInformation SecurityInformation LeakageReal-time System DesignComputer Architecture	2011	105
SecDCP Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Hardware SecurityEngineeringShared MemoryHigh-performance ArchitecturePartitioning Technique	2016	95
A Hardware Design Language for Timing-Sensitive Information-Flow Security Danfeng Zhang, Yao Wang, G. Edward Suh, ACM SIGPLAN Notices EngineeringHardware Verification LanguageInformation SecurityComputer ArchitectureHardware Design Language	2015	82
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation Robert Brotzman, Shen Liu, Danfeng Zhang, EngineeringInformation SecurityComputer ArchitectureSide-channel AttackSoftware Analysis	2019	69
LightDP: towards automating differential privacy proofs Danfeng Zhang, Daniel Kifer	2016	61
CacheD: Identifying Cache-Based Timing Channels in Production Software Shuai Wang, Pei Wang, Liu Xiao, Rare & Special e-Zone (The Hong Kong University of Science and Technology)	2017	61

Page 1