Probabilistic Relational Reasoning for Differential Privacy von Barthe, Gilles, Köpf, Boris, Olmedo, Federico, Zanella-Béguelin, Santiago

Volltext

Automatic Quantification of Cache Side-Channels von Köpf, Boris, Mauborgne, Laurent, Ochoa, Martín

Volltext

Automatic Discovery and Quantification of Information Leaks von Backes, M., Kopf, B., Rybalchenko, A.

Volltext

Approximation and Randomization for Quantitative Information-Flow Analysis von Köpf, B, Rybalchenko, A

Volltext

Revizor: Testing Black-Box CPUs Against Speculation Contracts von Oleksenko, Oleksii, Fetzer, Christof, Kopf, Boris, Silberstein, Mark

Volltext

Automatically deriving information-theoretic bounds for adaptive side-channel attacks von Köpf, Boris, Basin, David

Volltext

A Provably Secure and Efficient Countermeasure against Timing Attacks von Kopf, B., Durmuth, M.

Volltext

CacheAudit: A Tool for the Static Analysis of Cache Side Channels von Doychev, Goran, Köpf, Boris, Mauborgne, Laurent, Reineke, Jan

Volltext

Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks von Köpf, Boris, Smith, Geoffrey

Volltext

Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks von Backes, Michael, Köpf, Boris

Volltext

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing von Oleksenko, Oleksii, Guarnieri, Marco, Kopf, Boris, Silberstein, Mark

Volltext

A Systematic Study of Cache Side Channels Across AES Implementations von Mantel, Heiko, Weber, Alexandra, Köpf, Boris

Volltext

On the Incomparability of Cache Algorithms in Terms of Timing Leakage von Pablo Cañones, Boris Köpf, Jan Reineke

Volltext

Security Analysis of Cache Replacement Policies von Cañones, Pablo, Köpf, Boris, Reineke, Jan

Volltext

A Language-Theoretic View on Network Protocols von Ganty, Pierre, Köpf, Boris, Valero, Pedro

Volltext

SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning von Salem, Ahmed, Cherubin, Giovanni, Evans, David, Kopf, Boris, Paverd, Andrew, Suri, Anshuman, Tople, Shruti, Zanella-Beguelin, Santiago

Volltext

Information-Theoretic Bounds for Differentially Private Mechanisms von Barthe, G., Kopf, B.

Volltext

Probabilistic relational reasoning for differential privacy von Barthe, Gilles, Köpf, Boris, Olmedo, Federico, Zanella Béguelin, Santiago

Volltext

Theory and Practice of Finding Eviction Sets von Vila, Pepe, Kopf, Boris, Morales, Jose F.

Volltext

Quantifying information flow in cryptographic systems von BACKES, MICHAEL, KÖPF, BORIS

Volltext