Biblio

Yu F, Zhou Q, Hussain SRafiul, Zhang D.  2024.  Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols. 33rd USENIX Security Symposium (USENIX Security 24). :3117--3133.

• Google Scholar
• DBLP
• BibTeX

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