CC 2022 (series) / CC Research Papers /
Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense
Wed 6 Apr 2022 12:15 - 12:30 at CC Virtual Room - Session 5: Safety and Correctness Chair(s): Sorav Bansal
Cache side-channel attacks pose real threats to computer system security. Prior work called Cloak leverages commodity hardware transactional memory (HTM) to protect sensitive data and code from cache side-channel attacks. However, Cloak requires tedious and error-prone manual modifications to vulnerable software by programmers. This paper presents Cape, a compiler analysis and transformation that soundly and automatically protects programs from cache side-channel attacks using Cloak’s defense. An evaluation shows that Cape provides protection that is as strong as Cloak’s, while performing competitively with Cloak.
Wed 6 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 6 Apr
Displayed time zone: Eastern Time (US & Canada) change
12:00 - 12:45 | Session 5: Safety and CorrectnessCC Research Papers at CC Virtual Room Chair(s): Sorav Bansal IIT Delhi and CompilerAI Labs | ||
12:00 15mPaper | BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis CC Research Papers Sun Hyoung Kim The Pennsylvania State University, Dongrui Zeng The Pennsylvania State University, Cong Sun Xidian University, Gang (Gary) Tan Pennsylvania State University DOI | ||
12:15 15mPaper | Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense CC Research Papers Rui Zhang Ohio State University, Michael D. Bond Ohio State University, USA, Yinqian Zhang Southern University of Science and Technology DOI | ||
12:30 15mPaper | Making No-fuss Compiler Fuzzing Effective CC Research Papers Alex Groce Northern Arizona University, Rijnard van Tonder Sourcegraph, Goutamkumar Tulajappa Kalburgi Northern Arizona University, Claire Le Goues Carnegie Mellon University DOI |