Number of items: 11.
Canones, Pablo and Köpf, Boris and Reineke, Jan
(2017)
Security Analysis of Cache Replacement Policies.
Doychev, Goran and Köpf, Boris and Mauborgne, Laurent and Reineke, Jan
(2015)
CacheAudit: A Tool for the Static Analysis of Cache Side Channels.
ACM Trans. Inf. Syst. Secur., 18 (1).
4:1-4:32.
Backes, Michael and Köpf, Boris
(2015)
Quantifying Information Flow in Cryptographic Systems.
Mathematical Structures in Computer Science.
Doychev, Goran and Köpf, Boris and Mauborgne, Laurent and Reineke, Jan
(2015)
CacheAudit: A Tool for the Static Analysis of Cache Side Channels.
ACM Trans. Inf. Syst. Secur., 18 (1).
4:1–4:32.
Doychev, Goran and Feld, Dominik and Köpf, Boris and Mauborgne, Laurent and Reineke, Jan
(2013)
CacheAudit: A Tool for the Static Analysis of Cache Side Channels.
Backes, Michael and Doychev, Goran and Köpf, Boris
(2013)
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach.
Barthe, Gilles and Köpf, Boris
(2011)
Information-theoretic Bounds for Differentially Private Mechanisms.
Backes, Michael and Berg, Matthias and Köpf, Boris
(2011)
Non-Uniform Distributions in Quantitative Information-Flow.
Backes, Michael and Doychev, Goran and Dürmuth, Markus and Köpf, Boris
(2010)
Speaker Recognition in Encrypted Voice-over-IP Traffic.
Backes, Michael and Köpf, Boris and Rybalchenko, Andrey
(2009)
Automatic Discovery and Quantification of Information Leaks.
Backes, Michael and Köpf, Boris
(2008)
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks.
This list was generated on Tue Dec 3 18:11:58 2024 CET.