Wann: 10.10.2023, 14:00 Uhr
Wo: Gebäude TZR ("MB"), Ebene 1, Raum S-MO-104, Universitätsstraße 142, 44799 Bochum
Online-Teilnahme: Zoom-Link
Topic: 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 his talk Boris Köpf presents 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.
Biography: 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.
