09:00 – 10:30 TBC - Kamalika Chaudhuri
09:00 – 10:30 TBC - Michael Bender
11:00 – 12:30 TBC - Nicholas Carlini
16:00 – 17:30 TBC - Rahul Santhanam
09:00 – 10:30 TBC - Adam Chlipala
16:00 – 17:30 TBC - Meinard Müller
09:00 – 10:30 TBC - C.-C. Jay Kuo
Friday, 7/1/2022, 16:00 – 17:30
Testing Software and Hardware against Speculation Contracts - Boris Köpf
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.
Boris Köpf is a Principal Researcher in the Confidential Computing group at Microsoft Research Cambridge, where he works on techniques for tracking information flow in microarchitecture and machine learning systems. Prior to joining MSR, 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. Boris served as the PC co-chair of the IEEE Computer Security Foundations Symposium and has received best paper awards from the USENIX Security Symposium and the IEEE Symposium on Security and Privacy.