Follow
Danfeng Zhang
Danfeng Zhang
Verified email at cse.psu.edu - Homepage
Title
Cited by
Cited by
Year
A hardware design language for timing-sensitive information-flow security
D Zhang, Y Wang, GE Suh, AC Myers
Acm Sigplan Notices 50 (4), 503-516, 2015
2442015
Ironclad Apps:{End-to-End} Security via Automated {Full-System} Verification
C Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
2382014
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2052010
Language-based control and mitigation of timing channels
D Zhang, A Askarov, AC Myers
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1692012
Predictive mitigation of timing channels in interactive systems
D Zhang, A Askarov, AC Myers
Proceedings of the 18th ACM conference on Computer and communications …, 2011
1392011
{CacheD}: Identifying {Cache-Based} Timing Channels in Production Software
S Wang, P Wang, X Liu, D Zhang, D Wu
26th USENIX security symposium (USENIX security 17), 235-252, 2017
1222017
SecDCP: secure dynamic cache partitioning for efficient timing channel protection
Y Wang, A Ferraiuolo, D Zhang, AC Myers, GE Suh
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
1102016
Detecting violations of differential privacy
Z Ding, Y Wang, G Wang, D Zhang, D Kifer
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
952018
Verification of a practical hardware security architecture through static information flow analysis
A Ferraiuolo, R Xu, D Zhang, AC Myers, GE Suh
Proceedings of the Twenty-Second International Conference on Architectural …, 2017
782017
LightDP: Towards automating differential privacy proofs
D Zhang, D Kifer
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
762017
CaSym: Cache aware symbolic execution for side channel detection and mitigation
R Brotzman, S Liu, D Zhang, G Tan, M Kandemir
2019 IEEE Symposium on Security and Privacy (SP), 505-521, 2019
662019
Toward general diagnosis of static errors
D Zhang, AC Myers
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
622014
Diagnosing type errors with class
D Zhang, AC Myers, D Vytiniotis, S Peyton-Jones
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
462015
Automated aspect recommendation through clustering-based fan-in analysis
D Zhang, Y Guo, X Chen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
462008
Identifying {Cache-Based} Side Channels through {Secret-Augmented} Abstract Interpretation
S Wang, Y Bao, X Liu, P Wang, D Zhang, D Wu
28th USENIX security symposium (USENIX security 19), 657-674, 2019
402019
Proving differential privacy with shadow execution
Y Wang, Z Ding, G Wang, D Kifer, D Zhang
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
382019
Rcoal: mitigating gpu timing attack via subwarp-based randomized coalescing techniques
G Kadam, D Zhang, A Jog
2018 IEEE International Symposium on High Performance Computer Architecture …, 2018
352018
Checkdp: An automated and integrated approach for proving differential privacy or finding precise counterexamples
Y Wang, Z Ding, D Kifer, D Zhang
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
232020
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller
A Ferraiuolo, Y Wang, D Zhang, AC Myers, GE Suh
2016 IEEE International Symposium on High Performance Computer Architecture …, 2016
232016
Guidelines for implementing and auditing differentially private systems
D Kifer, S Messing, A Roth, A Thakurta, D Zhang
arXiv preprint arXiv:2002.04049, 2020
212020
The system can't perform the operation now. Try again later.
Articles 1–20