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

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)
HotSpot 2017, 5th Workshop on Hot Issues in Security Principles and Trust (PC member)
SecDev 2016, 1st IEEE Conference on Cybersecurity Development (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.