Boris Köpf, Microsoft Research
From 12.30 until 13.30
Attacks such as Spectre and Meltdown use a combination of speculative execution and shared microarchitectural state to leak information across security domains. Defeating them without massive performance overheads requires careful co-design of software and hardware. In this talk I will present a principled approach to this problem, based on hardware-software contracts for secure speculation, and on techniques that enable testing of software and hardware against them.
Join us on Zoom at https://ethz.zoom.us/j/69043735622.