Danfeng Zhang
Danfeng Zhang
Verified email at cse.psu.edu - Homepage
Title
Cited by
Cited by
Year
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 …, 2014
2162014
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
2012015
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
Proceedings of the 17th ACM conference on Computer and communications …, 2010
1982010
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
1532012
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
1362011
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
892017
SecDCP: secure dynamic cache partitioning for efficient timing channel protection
Y Wang, A Ferraiuolo, D Zhang, AC Myers, GE Suh
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2016
802016
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
732018
LightDP: Towards automating differential privacy proofs
D Zhang, D Kifer
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
612017
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
602017
Toward general diagnosis of static errors
D Zhang, AC Myers
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
542014
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
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
412015
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
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
292019
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
282018
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
232019
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
212016
Towards a flow-and path-sensitive information flow analysis
P Li, D Zhang
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 53-67, 2017
152017
Guidelines for implementing and auditing differentially private systems
D Kifer, S Messing, A Roth, A Thakurta, D Zhang
arXiv preprint arXiv:2002.04049, 2020
112020
The system can't perform the operation now. Try again later.
Articles 1–20