Hardware-software contracts for secure speculation

Thu 03Feb2022

Boris Köpf, Microsoft Research

From 12.30 until 13.30

At https://ethz.zoom.us/j/69043735622



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.

Download Event to Calendar