Main | Publications | Activities

Boris Köpf

Journal Publications

CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Joint work with Goran Doychev, Laurent Mauborgne, and Jan Reineke
ACM Transactions on Information and Systems Security (TISSEC), 2015.
[bib][pdf]

Quantifying Information Flow in Cryptographic Systems
Joint work with Michael Backes
Mathematical Structures in Computer Science (MSCS), 2015.
[bib][pdf]

Probabilistic Relational Reasoning for Differential Privacy
Joint work with Gilles Barthe, Federico Olmedo, and Santiago Zanella Béguelin
ACM Transactions on Programming Languages and Systems (TOPLAS), 2013.
[bib][pdf]

Automatically Deriving Information-Theoretic Bounds for Adaptive Side-Channel Attacks
Joint work with David Basin
Journal of Computer Security (JCS), 2011.
[bib][pdf]

Transformational Typing and Unification for Automatically Correcting Insecure Programs
Joint work with Heiko Mantel
International Journal of Information Security (IJIS), 2007.
[bib][pdf]

Conference Publications

Security Analysis of Cache Replacement Policies
Joint work with Pablo Cańones and Jan Reineke
6th Conference on Principles of Security and Trust (POST), 2017.
[bib][pdf] (Extended version available at arXiv:1701.06481)

Symbolic Polytopes for Quantitative Interpolation and Verification
Joint work with Klaus von Gleissenthall and Andrey Rybalchenko
27th International Conference on Computer Aided Verification (CAV), 2015.
[bib][pdf]

Rational Protection against Timing Attacks
Joint work with Goran Doychev
28th IEEE Computer Security Foundations Symposium (CSF), 2015.
[bib][pdf]

Leakage Resilience against Concurrent Cache Attacks
Joint work with Gilles Barthe, Laurent Mauborgne, and Martín Ochoa
3rd Conference on Principles of Security and Trust (POST), 2014.
[bib][pdf]

CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Joint work with Goran Doychev, Dominik Feld, Laurent Mauborgne, and Jan Reineke
22nd USENIX Security Symposium, 2013.
[bib][pdf][www][slides] (Extended version available at IACR ePrint 2013/253)

Verifying Information Flow Properties of Hybrid Systems
Joint work with Pavithra Prabhakar
2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013.
[bib][pdf]

Preventing Side-Channel Leaks in Web Traffic: A Formal Approach
Joint work with Michael Backes and Goran Doychev
20th Network and Distributed Systems Security Symposium (NDSS), 2013.
[bib][pdf]

Automation of Quantitative Information-Flow Analysis
Joint work with Andrey Rybalchenko
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), 2013
[bib][pdf]

Automatic Quantification of Cache Side-Channels
Joint work with Laurent Mauborgne and Martín Ochoa
24th International Conference on Computer Aided Verification (CAV), 2012.
[bib][pdf][slides] (Extended version available at IACR ePrint 2012/034)

Probabilistic Relational Reasoning for Differential Privacy
Joint work with Gilles Barthe, Federico Olmedo, and Santiago Zanella Béguelin
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012.
[bib][pdf]

Information-Theoretic Bounds for Differentially Private Mechanisms
Joint work with Gilles Barthe
24th IEEE Computer Security Foundations Symposium (CSF), 2011
[bib][pdf][slides]

Non-Uniform Distributions in Quantitative Information-Flow
Joint work with Michael Backes and Matthias Berg
6th ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2011
[bib][pdf]

Speaker Recognition in Encrypted Voice Streams
Joint work with Michael Backes, Goran Doychev, and Markus Dürmuth
15th European Symposium on Research in Computer Security (ESORICS), 2010
[bib][pdf]

Approximation and Randomization for Quantitative Information-Flow Analysis
Joint work with Andrey Rybalchenko
23rd IEEE Computer Security Foundations Symposium (CSF), 2010
[bib][pdf][slides]

Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks
Joint work with Geoffrey Smith
23rd IEEE Computer Security Foundations Symposium (CSF), 2010
[bib][pdf][slides]

A Provably Secure and Efficient Countermeasure against Timing Attacks
Joint work with Markus Dürmuth
22nd IEEE Computer Security Foundations Symposium (CSF), 2009
[bib][pdf][slides]

Automatic Discovery and Quantification of Information Leaks
Joint work with Michael Backes and Andrey Rybalchenko
30th IEEE Symposium on Security and Privacy (Oakland), 2009
[bib][pdf][slides]

Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks
Joint work with Michael Backes
13th European Symposium On Research In Computer Security (ESORICS), 2008
[bib][pdf] (Extended version available at IACR ePrint 2008/162)

An Information-Theoretic Model for Adaptive Side-Channel Attacks
Joint work with David Basin
14th ACM Conference on Computer and Communications Security (CCS), 2007
[bib][pdf][slides]

Timing-Sensitive Information Flow Analysis for Synchronous Systems
Joint work with David Basin
11th European Symposium On Research In Computer Security (ESORICS), 2006
[bib][pdf][slides]

Eliminating Implicit Information Leaks by Transformational Typing and Unification
Joint work with Heiko Mantel
3rd Intl. Workshop on Formal Aspects of Security and Trust (FAST), 2005
[bib][pdf][slides]

Eliminating Timing Leaks by Unification
Joint work with Heiko Mantel
1st Intl. Workshop on Programming Language Interference and Dependence (PLID), 2004
[bib][pdf]

Fast and Simple Horizontal Coordinate Assignment
Joint work with Ulrik Brandes
9th Intl. Symposium on Graph Drawing (GD), 2001
[bib][pdf]

visone - Software for Visual Social Network Analysis.
Joint work with Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler, Jürgen Lerner, and Dorothea Wagner
9th Intl. Symposium on Graph Drawing (GD), 2001
[bib][ps]

Theses

Formal Approaches to Countering Side-Channel Attacks
Ph.D. thesis, ETH Zurich, 2007
[bib][pdf]

Fixed Parameter Algorithms on Planar Graphs
M.Sc. thesis, Universität Konstanz, 2002
[bib][pdf]

Technical Reports

Timing-Sensitive Information Flow Analysis for Synchronous Systems
Joint work with David Basin
ETH Technical Report 526, 2006
[bib][pdf]

Eliminating Implicit Information Leaks by Transformational Typing and Unification
Joint work with Heiko Mantel
ETH Technical Report 498, 2005
[bib][pdf]