Main | Publications | Activities

Boris Köpf

I joined Microsoft Research Cambridge in November 2018



Marco Guarnieri, Postdoctoral researcher
Pablo Cañones, PhD student
Pepe Vila, PhD student

Research Interests

My research focuses on the foundations of computer security. In particular, I am interested in quantitative notions of security, and in techniques for computing corresponding guarantees for real systems. I apply my research to the analysis of side-channel attacks (and countermeasures) and to privacy-preserving data publishing.

Selected Publications

Spectector: Principled Detection of Speculative Information Flows ( [pdf] [www]
On Aggregation of Information in Timing Attacks (EuroS&P '19)
Theory and Practice of Finding Eviction Sets (Oakland '19) [pdf]
On the Incomparability of Cache Algorithms in Terms of Timing Leakage (LMCS '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][slides][www]
Leakage Resilience against Concurrent Cache Attacks (POST '14) [pdf]
Probabilistic Relational Reasoning for Differential Privacy (POPL '12, TOPLAS '13) [pdf]
Approximation and Randomization for Quantitative Information-Flow Analysis (CSF '10) [pdf][slides]
A Provably Secure and Efficient Countermeasure against Timing Attacks (CSF '09) [pdf][slides]
Automatic Discovery and Quantification of Information Leaks (Oakland '09) [pdf][slides]
An Information-theoretic Model for Adaptive Side-Channel Attacks (CCS '07) [pdf][slides]

Recent and Upcoming Events

PETS 2019, Privacy Enhancing Technologies Symposium (PC member)
CCS 2018, ACM Conference on Computer and Communication Security (PC member)
ACSAC 2018, Annual Computer Security Applications Conference (PC member)
SAS 2018, Static Analysis Symposium (PC member)
EuroS&P 2018, 3rd IEEE European Symposium on Security and Privacy (PC member)


I joined the IMDEA Software Institute after completing a Ph.D. in the Information Security group of ETH Zurich and working as a postdoc in the Information Security and Cryptography Group of the Max Planck Institute for Software Systems. Before that, I studied mathematics at the Universidad de Chile, the Universidade Federal de Campinas, and the University of Konstanz, from which I received a M.Sc.