• 375 Citations
  • 10 h-Index
20102019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Danfeng Zhang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles
Hardware Engineering & Materials Science
Computer hardware description languages Engineering & Materials Science
Inference engines Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Security of data Engineering & Materials Science
Flow control Engineering & Materials Science
Cache Mathematics
Labels Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 2019

  • 375 Citations
  • 10 h-Index
  • 15 Conference contribution
  • 5 Article
1 Citation (Scopus)

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

Scalability
Acoustic waves

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
Formal verification
3 Citations (Scopus)

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

Statistical tests
6 Citations (Scopus)

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

Data storage equipment
Bandwidth
Augmented reality
Cryptography
Particle accelerators
8 Citations (Scopus)

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

Inference engines
Formal methods
Chemical analysis
Costs
Formal verification