Danfeng Zhang

Predictive black-box mitigation of timing channels

Aslan Askarov, Danfeng Zhang, Andrew C. Myers · 2010 · 153 citations

Engineering, Information Security, Information Leakage +17

Ironclad apps: end-to-end security via automated full-system verification

Chris Hawblitzel, Jon Howell, Jacob R. Lorch et al. · Operating Systems Design and Implementation · 2014 · 149 citations

Engineering, Information Security, Verification +18

A Hardware Design Language for Timing-Sensitive Information-Flow Security

Danfeng Zhang, Yao Wang, G. Edward Suh et al. · 2015 · 140 citations

Engineering, Hardware Verification Language, Information Security +17

Language-based control and mitigation of timing channels

Danfeng Zhang, Aslan Askarov, Andrew C. Myers · 2012 · 130 citations

External Timing Channels, Engineering, Instruction Caches +20

Predictive mitigation of timing channels in interactive systems

Danfeng Zhang, Aslan Askarov, Andrew C. Myers · 2011 · 105 citations

Engineering, Information Security, Information Leakage +21