Main | Publications | Activities

Boris Köpf

Assistant Research Professor
IMDEA Software Institute

Boris Köpf IMDEA Software Institute
Campus Montegancedo UPM
28223 Pozuelo de Alarcón, Madrid
Spain
phone:
email:
skype:
(+34) 91 101 2202 ext 4108
boris 'dot' koepf 'at' imdea 'dot' org
boriskoepf

Open Positions

I am looking for strong students to work with me on topics of mutual interest. If you're interested in doing an internship or a PhD (funded by a Microsoft Research PhD Scholarship), please don't hesitate to contact me.

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

Leakage Resilience against Concurrent Cache Attacks (POST '14) [pdf]
CacheAudit: A Tool for the Static Analysis of Cache Side Channels (USENIX Security '13) [www][pdf][slides]
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach (NDSS '13) [pdf]
Automatic Quantification of Cache Side Channels (CAV '12) [pdf][slides]
Probabilistic Relational Reasoning for Differential Privacy (POPL '12, TOPLAS '13) [pdf]
Approximation and Randomization for Quantitative Information-Flow Analysis (CSF '10) [pdf][slides]
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks (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]
(more)

Recent and Upcoming Events

CSF 2015, 28th IEEE Computer Security Foundations Symposium (PC member)
POST 2015, 4th Conference on Principles of Security and Trust (PC member)
FCS-FCC 2014, Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (PC co-chair)
PLAS 2014, 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PC member)
CSF 2014, 27th IEEE Computer Security Foundations Symposium (PC member)
QEST 2014, 11th International Conference on Quantitative Evaluation of Systems (PC member)
(more)

Bio

I joined the IMDEA Software Institute after completing my 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.