Main | Publications | Activities

Boris Köpf

Associate Research Professor
IMDEA Software Institute

IMDEA Software Institute
Campus Montegancedo UPM
28223 Pozuelo de Alarcón, Madrid

(+34) 91 101 2202 ext 4108
boris 'dot' koepf 'at' imdea 'dot' org


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

Theory and Practice of Finding Eviction Sets ( [pdf]
On the Incomparability of Cache Algorithms in Terms of Timing Leakage ( [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.