| 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 | 323 | 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 | 296 | 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 | 223 | 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 | 187 | 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 | 163 | 2016 |
| 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 | 158 | 2018 |
| {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 | 158 | 2017 |
| 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 | 153 | 2011 |
| 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 | 111 | 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 | 103 | 2019 |
| LightDP: Towards automating differential privacy proofs D Zhang, D Kifer Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 100 | 2017 |
| Toward general diagnosis of static errors D Zhang, AC Myers Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 78 | 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 | 69 | 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 | 58 | 2015 |
| 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 | 52 | 2018 |
| 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 | 51 | 2019 |
| Guidelines for implementing and auditing differentially private systems D Kifer, S Messing, A Roth, A Thakurta, D Zhang arXiv preprint arXiv:2002.04049, 2020 | 49 | 2020 |
| 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 |
| 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 | 42 | 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 | 30 | 2016 |
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityZweryfikowany adres z cs.cornell.edu