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.

Recent and Ongoing Work

Loophole: Timing Attacks on Shared Event Loops in Chrome [preprint]
A Language-theoretic View on Network Protocols [preprint]
Rigorous Analysis of Software Countermeasures against Cache Attacks (PLDI '17) [preprint]
Security Analysis of Cache Replacement Policies (POST '17) [pdf]

Selected Publications

Symbolic Polytopes for Quantitative Interpolation and Verification (CAV '15) [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]
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach (NDSS '13) [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 2018, 18th Privacy Enhancing Technologies Symposium (PC member)
Spring School on Security & Correctness in the Internet of Things (speaker)
CSF 2017, 30th IEEE Computer Security Foundations Symposium (PC co-chair)
QEST 2017, 14th International Conference on Quantitative Evaluation of Systems (PC member)
POST 2017, 6th ETAPS Conference on Principles of Security and Trust (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.