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: https://boriskoepf.de/