Biblio

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.

• Google Scholar
• DBLP
• BibTeX

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.

• Google Scholar
• DBLP
• BibTeX

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.

• Google Scholar
• DBLP
• BibTeX