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 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