Main | Publications | Teaching | Events

Boris Köpf


I am a 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, I 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.

Recent Work

Bayesian Estimation of Differential Privacy (arXiv) [pdf]
Revizor: Testing Black-box CPUs against Speculation Contracts (ASPLOS '22) [pdf]
Grey-box Extraction of Natural Language Models (ICML '21) [pdf]
Hardware-Software Contracts for Secure Speculation (S&P '21) [pdf]
Analyzing Information Leakage of Updates to Natural Language Models (CCS '20) [pdf]
CacheQuery: Learning Replacement Policies from Hardware Caches (PLDI '20) [pdf]
Spectector: Principled Detection of Speculative Information Flows (S&P '20) [pdf][www]
Theory and Practice of Finding Eviction Sets (S&P '19) [pdf]

Upcoming Events

NUS Computer Science Research Week 2022 (speaker)
Summer School on Real-World Crypto and Privacy 2022 (speaker)
SaTML 2023, IEEE Conference on Secure and Trustworthy Machine Learning (PC member)
S&P 2023, IEEE Symposium on Security and Privacy (PC member)
CCS 2022, ACM Conference on Computer and Communications Security (PC member)