Testing Software and Hardware against Speculation Contracts
Boris Köpf (Microsoft Research Cambridge) will give a seminar on December 8rd, 2021, 14:00-15:00, Stockholm time.
Tid: On 2021-12-08 kl 14.00 - 15.00
Videolänk: You are welcome to attend the seminar virtually
Språk: English
Medverkande: Boris Köpf (Microsoft Research Cambridge)
Abstract:
Attacks such as Spectre and Meltdown use a combination of speculative execution and shared icroarchitectural 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.
Bio:
Boris Köpf is a Principal Researcher in the Confidential Computing group at Microsoft Research Cambridge, working on techniques for tracking information flow in microarchitecture and machine learning systems. Prior to joining MSR 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.