Danfeng Zhang

Danfeng Zhang

Pennsylvania State University - University Park / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 898572
person_outline Danfeng Zhang's MOST POPULAR ARTICLES
1-) A hardware design language for timing-sensitive information-flow securityD Zhang, Y Wang, GE Suh, AC MyersAcm Sigplan Notices 50 (4), 503-516, 20152432015
2-) Ironclad apps:{End-to-End} security via automated {Full-System} verificationC Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 20142582014
3-) Predictive black-box mitigation of timing channelsA Askarov, D Zhang, AC MyersProceedings of the 17th ACM conference on Computer and communications …, 20102052010
4-) Language-based control and mitigation of timing channelsD Zhang, A Askarov, AC MyersProceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 20121862012
5-) SecDCP: secure dynamic cache partitioning for efficient timing channel protectionY Wang, A Ferraiuolo, D Zhang, AC Myers, GE SuhProceedings of the 53rd Annual Design Automation Conference, 1-6, 20161582016