Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 Online conference
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 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
15m
Paper
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
15m
Paper
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
15m
Paper
Making No-fuss Compiler Fuzzing EffectiveArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
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