CacheAudit: A Tool for the Static Analysis of Cache Side Channels
By Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke. TSEC, 2013
300 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Signal Processing
View Paper: https://www.semanticscholar.org/paper/595684bd0b413a31dc0085000a89782469d88172
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Yuval Yarom
- Gernot Heiser
- Qian Ge
- Yinqian Zhang
- Thomas Ristenpart
- Michael K. Reiter
- Sanchuan Chen
- Guoxing Chen
In Signal Processing
- Yuval Yarom
- Gernot Heiser
- Qian Ge
- Yinqian Zhang
- Sanchuan Chen
- Guoxing Chen
- Prateek Saxena
- Shweta Shinde
Citations in the corpus
- Computer Aided Verification (2017, background): “Cache analysis may help identify possibilities for such side-channel attacks and quantify the amount of information leakage [7]; improved precision in cache analysis then translates into fewer false alarms and tighter bounds on leakage.”
- SgxPectre Attacks: Leaking Enclave Secrets via Speculative Execution (2018, background): “ed by secret-dependentcontrol or data flows, these approaches are not applicable. Second, using static analysis or symbolic execution to detect cache side-channel vulnerabilities in commodity software [22, 74]. However, these approaches model secret-dependentmemory accesses in a program;they are not ”
- SgxPectre: Stealing Intel Secrets from SGX Enclaves Via Speculative Execution (2018, methodology): “Second, using static analysis or symbolic execution to detect cache side-channel vulnerabilities in commodity software [16, 76].”
- A survey of microarchitectural timing attacks and countermeasures on contemporary hardware (2016, background): “CacheAudit [48] extended their work to provide better abstractions and a higher precision.”
- Cross-Tenant Side-Channel Attacks in PaaS Clouds (2014, background): “A complementary approach involves static analysis of binaries to measure their vulnerability to cache-based side channels [11]; this approach yields only an approximation of the degree of vulnerability of an application, and no coun-”
- Preventing Page Faults from Telling Your Secrets (2016, background): “Various detection mechanisms have been explored for side channels ranging from instruction level analysis to compiler techniques [16, 23, 53].”