Computer Science Research Week 2022

January 4 to 7

The NUS Computer Science Research Week is an event that brings together the best researchers in computer science from academia and industry. The event includes a series of research and tutorial talks, by renowned computer scientists from around the world. The (virtual) event will be held from January 4 through January 7, 2022.



Michael Bender
Stony Brook University
Nicholas Carlini
Google Brain
Kamalika Chaudhuri
University of California San Diego
Adam Chlipala
Massachusetts Institute of Technology
Boris Köpf
Microsoft Research Cambridge
C.-C. Jay Kuo
USC Media Communications Lab
Meinard Müller
Audio Laboratories Erlangen
Rahul Santhanam
University of Oxford


Tuesday, 4/1/2022

09:00 – 10:30 TBC - Kamalika Chaudhuri

Wednesday, 5/1/2022

09:00 – 10:30 TBC - Michael Bender

11:00 – 12:30 TBC - Nicholas Carlini

16:00 – 17:30 TBC - Rahul Santhanam

Thursday, 6/1/2022

09:00 – 10:30 TBC - Adam Chlipala

16:00 – 17:30 TBC - Meinard Müller

Friday, 7/1/2022

09:00 – 10:30 TBC - C.-C. Jay Kuo

16:00 – 17:30 Testing Software and Hardware against Speculation Contracts - Boris Köpf

Program Details

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.