SAFARI Live Seminar: Boris Köpf, April 10 2024

Join us for our upcoming SAFARI Live Seminar

Speaker: Boris Köpf, Microsoft Azure Research

Date: Wednesday, April 10, 10:00 Zurich time (CEST)
Where: Livestream on YouTube (Link) & Location: CAB G59

Title: Automatic Detection of Microarchitectural Leaks

Abstract: 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 my 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.

Speaker Bio: 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:

Posted in Industry, Seminar, Talks, Video.