Prof. Dr. Tilmann Rabl

Boris Koepf

Affiliation: Azure Research
Title: Automatic Detection of Microarchitectural Leaks



Speculative execution attacks such as Spectre and Meltdown exploit microarchitectural optimizations to leak information across security domains. These vulnerabilities often stay undetected for years, because we lack the tools for systematic analysis of CPUs to find them.
In this talk I present Revizor, a tool that can automatically detect microarchitectural leaks in black-box CPUs. The talk will cover the key ideas behind Revizor, as well as the most recent extensions and CPU vulnerabilities it found.

Short CV

Boris Köpf is a scientist at Azure Research, where he works on techniques for tracking information flow in microarchitecture and machine learning systems. Prior to joining Microsoft in November 2018, he was a tenured faculty at the IMDEA Software Institute, a postdoc at the Max Planck Institute for Software Systems, and a Ph.D. student at ETH Zurich. More information on his website.