Donayam Benti

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 …