• 452 Citations
  • 11 h-Index
20102019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 452 Citations
  • 11 h-Index
  • 17 Conference contribution
  • 5 Article
2019

CaSym: Cache aware symbolic execution for side channel detection and mitigation

Brotzman, R., Liu, S., Zhang, D., Tan, G. & Kandemir, M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 505-521 17 p. 8835249. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Identifying cache-based side channels through secret-augmented abstract interpretation

Wang, S., Bao, Y., Liu, X., Wang, P., Zhang, D. & Wu, D., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 657-674 18 p. (Proceedings of the 28th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proving differential privacy with shadow execution

Wang, Y., Ding, Z., Wang, G., Kifer, D. & Zhang, D., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 655-669 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Scopus citations
2018

Detecting violations of differential privacy

Ding, Z., Wang, Y., Wang, G., Zhang, D. & Kifer, D., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 475-489 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

RCoal: Mitigating GPU Timing Attack via Subwarp-Based Randomized Coalescing Techniques

Kadam, G., Zhang, D. & Jog, A., Mar 27 2018, Proceedings - 24th IEEE International Symposium on High Performance Computer Architecture, HPCA 2018. IEEE Computer Society, p. 156-167 12 p. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2018-February).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations
2017

Cached: Identifying cache-based timing channels in production software

Wang, S., Wang, P., Liu, X., Zhang, D. & Wu, D., Jan 1 2017, Proceedings of the 26th USENIX Security Symposium. USENIX Association, p. 235-252 18 p. (Proceedings of the 26th USENIX Security Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Scopus citations

LightDP: Towards automating differential privacy proofs

Zhang, D. & Kifer, D., Jan 1 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery, p. 888-901 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

SHErrLoc: A static holistic error locator

Zhang, D., Myers, A. C., Vytiniotis, D. & Peyton-Jones, S., Aug 2017, In : ACM Transactions on Programming Languages and Systems. 39, 4, 18.

Research output: Contribution to journalArticle

3 Scopus citations

Towards a Flow- and Path-Sensitive Information Flow Analysis

Li, P. & Zhang, D., Sep 25 2017, Proceedings - IEEE 30th Computer Security Foundations Symposium, CSF 2017. IEEE Computer Society, p. 53-67 15 p. 8049651. (Proceedings - IEEE Computer Security Foundations Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Verification of a practical Hardware security architecture through static information flow analysis

Ferraiuolo, A., Xu, R., Zhang, D., Myers, A. C. & Suh, G. E., Apr 4 2017, ASPLOS 2017 - 22nd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 555-568 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. Part F127193).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations
2016

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller

Ferraiuolo, A., Wang, Y., Zhang, D., Myers, A. C. & Suh, G. E., Apr 1 2016, Proceedings of the 2016 IEEE International Symposium on High-Performance Computer Architecture, HPCA 2016. IEEE Computer Society, p. 382-393 12 p. 7446080. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2016-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

SecDCP: Secure dynamic cache partitioning for efficient timing channel protection

Wang, Y., Ferraiuolo, A., Zhang, D., Myers, A. C. & Suh, G. E., Jun 5 2016, Proceedings of the 53rd Annual Design Automation Conference, DAC 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 05-09-June-2016. a74

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Scopus citations
2015

A hardware design language for timing-sensitive information-flow security

Zhang, D., Wang, Y., Suh, G. E. & Myers, A. C., Mar 14 2015, ASPLOS 2015 - 20th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 503-516 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2015-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Scopus citations

A hardware design language for timing-sensitive information-flow security

Zhang, D., Wang, Y., Suh, G. E. & Myers, A. C., Apr 2015, In : ACM SIGPLAN Notices. 50, 4, p. 503-516 14 p.

Research output: Contribution to journalArticle

50 Scopus citations

Diagnosing type errors with class

Zhang, D., Myers, A. C., Vytiniotis, D. & Peyton-Jones, S., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 12-21 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Diagnosing type errors with class

Zhang, D., Myers, A. C., Vytiniotis, D. & Peyton-Jones, S., Jun 1 2015, In : ACM SIGPLAN Notices. 50, 6, p. 12-21 10 p.

Research output: Contribution to journalArticle

4 Scopus citations
2014

Toward general diagnosis of static errors

Zhang, D. & Myers, A. C., Jan 13 2014, In : ACM SIGPLAN Notices. 49, 1, p. 569-581 13 p.

Research output: Contribution to journalArticle

7 Scopus citations

Toward general diagnosis of static errors

Zhang, D. & Myers, A. C., Feb 11 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 569-581 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations
2012

Language-based control and mitigation of timing channels

Zhang, D., Askarov, A. & Myers, A. C., Jul 9 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 99-109 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

46 Scopus citations

Language-based control and mitigation of timing channels

Zhang, D., Askarov, A. & Myers, A. C., Aug 1 2012, In : ACM SIGPLAN Notices. 47, 6, p. 99-109 11 p.

Research output: Contribution to journalArticle

26 Scopus citations
2011

Predictive mitigation of timing channels in interactive systems

Zhang, D., Askarov, A. & Myers, A. C., Nov 14 2011, CCS'11 - Proceedings of the 18th ACM Conference on Computer and Communications Security. p. 563-574 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

66 Scopus citations
2010

Predictive black-box mitigation of timing channels

Askarov, A., Zhang, D. & Myers, A. C., Dec 16 2010, CCS'10 - Proceedings of the 17th ACM Conference on Computer and Communications Security. p. 297-307 11 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

87 Scopus citations