Biblio

Export 3 results:
Filters: Author is Danfeng Zhang  [Clear All Filters]
2019
Wang S, Bao Y, Liu X, Wang P, Zhang D, Wu D.  2019.  Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. 28th {USENIX} Security Symposium ({USENIX} Security 19). :657--674.
2017
Wang S, Wang P, Liu X, Zhang D, Wu D.  2017.  CacheD: Identifying Cache-Based Timing Channels in Production Software. 26th {USENIX} Security Symposium ({USENIX} Security 17). :235--252.
2014
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B.  2014.  Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). :165--181.