Main | Publications | Teaching | Events

Boris Köpf


I am a scientist at Azure Research (formerly the Confidential Computing group at Microsoft Research), where I work on techniques for tracking information flow in microarchitecture and machine learning systems. Prior to joining Microsoft 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

Microarchitectural Security

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions (USENIX Security '23) [pdf]
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing (S&P '23) [pdf]
Revizor: Testing Black-box CPUs against Speculation Contracts (ASPLOS '22) [pdf][git]
Hardware-Software Contracts for Secure Speculation (S&P '21) [pdf]
Spectector: Principled Detection of Speculative Information Flows (S&P '20) [pdf][git]

Privacy-preserving Machine Learning

Closed-form Bounds for DP-SGD against Record-level Inference Attacks (USENIX Security '24) [pdf]
Bayesian Estimation of Differential Privacy (ICML '23) [pdf]
SoK: Let The Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning (S&P '23) [pdf]
Grey-box Extraction of Natural Language Models (ICML '21) [pdf]
Analyzing Information Leakage of Updates to Natural Language Models (CCS '20) [pdf]

Upcoming Events

CCS 2024 (PC member)
SaTML 2024 (PC member)
EuroSys 2024 (PC member)
NDSS 2024 (PC member)