Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs

Elvira Moreno, Tiziano Marinaro, Ryan Williams +4

Side-channel attacks pose a significant security threat for modern computing platforms, because they exploit subtle discrepancies in CPU behaviors to leak sensitive information. To…