Boris Köpf

About

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. I studied mathematics and computer science at the Universidad de Chile, the Universidade Federal de Campinas, and the University of Konstanz, from which I received a M.Sc.

Recent and Selected Publications

Hardware-Software Contracts for Secure Speculation (arXiv) [pdf]
Analyzing Information Leakage of Updates to Natural Language Models (arXiv) [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]
Loophole: Timing Attacks on Shared Event Loops in Chrome (USENIX Security '17) [pdf]
Rigorous Analysis of Software Countermeasures against Cache Attacks (PLDI '17) [pdf]
Rational Protection against Timing Attacks (CSF '15) [pdf]
CacheAudit: A Tool for the Static Analysis of Cache Side Channels (USENIX Security '13, TISSEC '15) [pdf][www]
Probabilistic Relational Reasoning for Differential Privacy (POPL '12, TOPLAS '13) [pdf]
A Provably Secure and Efficient Countermeasure against Timing Attacks (CSF '09) [pdf][slides]
Automatic Discovery and Quantification of Information Leaks (S&P '09) [pdf][slides]
An Information-theoretic Model for Adaptive Side-Channel Attacks (CCS '07) [pdf][slides]
(more)

Recent and Upcoming Events

CSF, IEEE Computer Security Foundations Symposium (SC member)
CHES 2021, IACR Conference on Cryptographic Hardware and Embedded Systems (PC member)
S&P 2021, IEEE Symposium on Security and Privacy (PC member)
PETS 2020, Privacy Enhancing Technologies Symposium (PC member)
(more)

Contact

email: boris.koepf@microsoft.com