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

Open Positions

I am looking for strong candidates for an open postdoc position. Also, feel free to contact me if you're interested in doing an internship or a PhD with me.

Current Students

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

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

SAS 2018, 25th Static Analysis Symposium (PC member)
HotSpot 2018, 6th Workshop on Hot Issues in Security Principles and Trust (PC member)
EuroS&P 2018, 3rd IEEE European Symposium on Security and Privacy (PC member)
PETS 2018, 18th Privacy Enhancing Technologies Symposium (PC member)
IACR Spring School on Security & Correctness in the Internet of Things (speaker)
CSF 2017, 30th IEEE Computer Security Foundations Symposium (PC co-chair)


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.