POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

We propose a new technique for ahead-of-time detection of side channel information leaks through the use of staged, instrumented interpreters. It is well-known that a staged interpreter acts as a compiler. By equipping such an interpreter with a runtime step counter, the timing behavior of the target program becomes a first-class value in the residue, to be analyzed by any number of classical methods. Finally, we demonstrate the power of our technique against naive, cache-based and speculation-based timing attacks using an off-the-shelf bounded model checker.

Short paper (pepm25-paper15.pdf)431KiB

This program is tentative and subject to change.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Language design, pedagogical tool, and staged interpreterPEPM at Scissors
Chair(s): Michael Hanus Kiel University
11:00
45m
Keynote
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)
PEPM
William J. Bowman University of British Columbia
DOI Pre-print
11:45
30m
Research paper
Algebraic Stepper for Simple Modules
PEPM
Kenichi Asai Ochanomizu University, Hinano Akiyama Ochanomizu University
12:15
15m
Short-paper
Collapsing Towers for Side-Channel Security (Short Paper)
PEPM
Cameron Wong Harvard SEAS, Muhammad Abdullah MIT, Yuheng Yang MIT, Mengjia Yan MIT, Adam Chlipala Massachusetts Institute of Technology, Nada Amin Harvard University
File Attached
Hide past events