Todd Austin

Octal: Efficient Automatic Data-Oblivious Program Transformations to Eliminate Side-Channel Leakage

2024

During the 1970s, a curious class of programs called data-oblivious algorithms started to catch the attention of researchers because of the numerous applications they enabled due to their unique properties. In particular, data-oblivious algorithms execute …

DOME: Automated Validation of Data-Oblivious Program Execution

2025

Modern processors employ various micro-architectural optimizations to enhance application performance. While these optimizations significantly improve efficiency, they also introduce micro-architectural side channels that can leak sensitive information. Over the years, numerous hardware and software defenses …