Danfeng Zhang
Pennsylvania State University(US)Duke University(US)Institute of Soil and Water Conservation(CN)Zhangzhou Normal University(CN)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Privacy-Preserving Technologies in Data, Cryptography and Data Security, Physical Unclonable Functions (PUFs) and Hardware Security
Most-Cited Works
- → Predictive black-box mitigation of timing channels(2010)153 cited
- → Ironclad apps: end-to-end security via automated full-system verification(2014)149 cited
- → A Hardware Design Language for Timing-Sensitive Information-Flow Security(2015)141 cited
- → Language-based control and mitigation of timing channels(2012)130 cited
- → Predictive mitigation of timing channels in interactive systems(2011)105 cited
- → SecDCP(2016)97 cited
- → CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation