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 | 296 | 2015 |
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 | 275 | 2014 |
Predictive black-box mitigation of timing channels A Askarov, D Zhang, AC Myers Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 214 | 2010 |
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 | 182 | 2012 |
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 | 149 | 2016 |
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 | 149 | 2011 |
{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 | 139 | 2017 |
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 | 134 | 2018 |
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 | 101 | 2017 |
LightDP: Towards automating differential privacy proofs D Zhang, D Kifer Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 92 | 2017 |
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 | 90 | 2019 |
Toward general diagnosis of static errors D Zhang, AC Myers Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 72 | 2014 |
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 | 55 | 2019 |
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 | 51 | 2015 |
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 | 46 | 2019 |
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 | 46 | 2008 |
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 | 41 | 2018 |
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 | 33 | 2020 |
Guidelines for implementing and auditing differentially private systems D Kifer, S Messing, A Roth, A Thakurta, D Zhang arXiv preprint arXiv:2002.04049, 2020 | 33 | 2020 |
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 | 26 | 2016 |