Visone. - Michael Baur; Marc Benkert; Ulrik Brandes; Sabine Cornelsen; Marco Gaertler; Boris Köpf; Jürgen Lerner; Dorothea Wagner (GD, 2001)

Fast and Simple Horizontal Coordinate Assignment. - Ulrik Brandes; Boris Köpf (GD, 2001)

Eliminating Implicit Information Leaks by Transformational Typing and Unification. - Boris Köpf; Heiko Mantel (Formal Aspects in Security and Trust, 2005)

Timing-Sensitive Information Flow Analysis for Synchronous Systems. - Boris Köpf; David A. Basin (ESORICS, 2006)

An information-theoretic model for adaptive side-channel attacks. - Boris Köpf; David A. Basin (CCS, 2007)

Transformational typing and unification for automatically correcting insecure programs. - Boris Köpf; Heiko Mantel (Int. J. Inf. Sec., 2007)

Formal approaches to countering side-channel attacks. - Boris Köpf (2007)

Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. - Michael Backes 001; Boris Köpf (IACR Cryptol. ePrint Arch., 2008)

Automatic Discovery and Quantification of Information Leaks. - Michael Backes 001; Boris Köpf; Andrey Rybalchenko (SP, 2009)

A Provably Secure And Efficient Countermeasure Against Timing Attacks. - Boris Köpf; Markus Dürmuth (IACR Cryptol. ePrint Arch., 2009)

Approximation and Randomization for Quantitative Information-Flow Analysis. - Boris Köpf; Andrey Rybalchenko (CSF, 2010)

Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. - Boris Köpf; Geoffrey Smith 001 (CSF, 2010)

Speaker Recognition in Encrypted Voice Streams. - Michael Backes 001; Goran Doychev; Markus Dürmuth; Boris Köpf (ESORICS, 2010)

Non-uniform distributions in quantitative information-flow. - Michael Backes 001; Matthias Berg; Boris Köpf (AsiaCCS, 2011)

Information-theoretic Bounds for Differentially Private Mechanisms. - Gilles Barthe; Boris Köpf (IACR Cryptol. ePrint Arch., 2011)

Automatically deriving information-theoretic bounds for adaptive side-channel attacks. - Boris Köpf; David A. Basin (J. Comput. Secur., 2011)

Quantitative Security Analysis (Dagstuhl Seminar 12481). - Boris Köpf; Pasquale Malacaria; Catuscia Palamidessi (Dagstuhl Reports, 2012)

Automatic Quantification of Cache Side-Channels. - Boris Köpf; Laurent Mauborgne; Martín Ochoa (IACR Cryptol. ePrint Arch., 2012)

Verifying information flow properties of hybrid systems. - Pavithra Prabhakar; Boris Köpf (HiCoNS, 2013)

Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. - Michael Backes 001; Goran Doychev; Boris Köpf (NDSS, 2013)

Automation of Quantitative Information-Flow Analysis. - Boris Köpf; Andrey Rybalchenko (SFM, 2013)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Dominik Feld; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (IACR Cryptol. ePrint Arch., 2013)

Probabilistic Relational Reasoning for Differential Privacy. - Gilles Barthe; Boris Köpf; Federico Olmedo; Santiago Zanella-Béguelin (ACM Trans. Program. Lang. Syst., 2013)

Leakage Resilience against Concurrent Cache Attacks. - Gilles Barthe; Boris Köpf; Laurent Mauborgne; Martín Ochoa (POST, 2014)

Symbolic Polytopes for Quantitative Interpolation and Verification. - Klaus von Gleissenthall; Boris Köpf; Andrey Rybalchenko (CAV (1), 2015)

Rational Protection against Timing Attacks. - Goran Doychev; Boris Köpf (CSF, 2015)

Quantifying information flow in cryptographic systems. - Michael Backes 001; Boris Köpf (Math. Struct. Comput. Sci., 2015)

CacheAudit: A Tool for the Static Analysis of Cache Side Channels. - Goran Doychev; Boris Köpf; Laurent Mauborgne; Jan Reineke 001 (ACM Trans. Inf. Syst. Secur., 2015)

A Language-Theoretic View on Network Protocols. - Pierre Ganty; Boris Köpf; Pedro Valero 001 (ATVA, 2017)

A Systematic Study of Cache Side Channels Across AES Implementations. - Heiko Mantel; Alexandra Weber; Boris Köpf (ESSoS, 2017)

Rigorous analysis of software countermeasures against cache attacks. - Goran Doychev; Boris Köpf (PLDI, 2017)

Security Analysis of Cache Replacement Policies. - Pablo Cañones; Boris Köpf; Jan Reineke 001 (POST, 2017)

Loophole: Timing Attacks on Shared Event Loops in Chrome. - Pepe Vila; Boris Köpf (USENIX Security Symposium, 2017)

Timing Leaks and Coarse-Grained Clocks. - Panagiotis Vasilikos; Hanne Riis Nielson; Flemming Nielson; Boris Köpf (CSF, 2019)

On Aggregation of Information in Timing Attacks. - Itsaka Rakotonirina; Boris Köpf (EuroS&P, 2019)

Theory and Practice of Finding Eviction Sets. - Pepe Vila; Boris Köpf; José F. Morales 001 (IEEE Symposium on Security and Privacy, 2019)

Analyzing Privacy Loss in Updates of Natural Language Models. - Shruti Tople; Marc Brockschmidt; Boris Köpf; Olga Ohrimenko; Santiago Zanella-Béguelin (CoRR, 2019)

On the Incomparability of Cache Algorithms in Terms of Timing Leakage. - Pablo Cañones; Boris Köpf; Jan Reineke 001 (Log. Methods Comput. Sci., 2019)

Analyzing Information Leakage of Updates to Natural Language Models. - Santiago Zanella-Béguelin; Lukas Wutschitz; Shruti Tople; Victor Rühle; Andrew Paverd; Olga Ohrimenko; Boris Köpf; Marc Brockschmidt (CCS, 2020)

CacheQuery: learning replacement policies from hardware caches. - Pepe Vila; Pierre Ganty; Marco Guarnieri; Boris Köpf (PLDI, 2020)

Spectector: Principled Detection of Speculative Information Flows. - Marco Guarnieri; Boris Köpf; José F. Morales 001; Jan Reineke 001; Andrés Sánchez (SP, 2020)

Flushgeist: Cache Leaks from Beyond the Flush. - Pepe Vila; Andreas Abel 002; Marco Guarnieri; Boris Köpf; Jan Reineke 001 (CoRR, 2020)

Grey-box Extraction of Natural Language Models. - Santiago Zanella-Béguelin; Shruti Tople; Andrew Paverd; Boris Köpf (ICML, 2021)

Hardware-Software Contracts for Secure Speculation. - Marco Guarnieri; Boris Köpf; Jan Reineke 001; Pepe Vila (SP, 2021)

Revizor: Fuzzing for Leaks in Black-box CPUs. - Oleksii Oleksenko; Christof Fetzer; Boris Köpf; Mark Silberstein (CoRR, 2021)

Bayesian Estimation of Differential Privacy. - Santiago Zanella-Béguelin; Lukas Wutschitz; Shruti Tople; Ahmed Salem 001; Victor Rühle; Andrew Paverd; Mohammad Naseri; Boris Köpf; Daniel Jones (ICML, 2023)

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. - Oleksii Oleksenko; Marco Guarnieri; Boris Köpf; Mark Silberstein (SP, 2023)

SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. - Ahmed Salem 001; Giovanni Cherubin; David Evans 001; Boris Köpf; Andrew Paverd; Anshuman Suri; Shruti Tople; Santiago Zanella-Béguelin (SP, 2023)

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. - Jana Hofmann; Emanuele Vannacci; Cédric Fournet; Boris Köpf; Oleksii Oleksenko (USENIX Security Symposium, 2023)

Rethinking Privacy in Machine Learning Pipelines from an Information Flow Control Perspective. - Lukas Wutschitz; Boris Köpf; Andrew Paverd; Saravan Rajmohan; Ahmed Salem 001; Shruti Tople; Santiago Zanella-Béguelin; Menglin Xia; Victor Rühle (CoRR, 2023)

Maatphor: Automated Variant Analysis for Prompt Injection Attacks. - Ahmed Salem 001; Andrew Paverd; Boris Köpf (CoRR, 2023)

Revizor: Testing Black-Box CPUs Against Speculation Contracts. - Oleksii Oleksenko; Christof Fetzer; Boris Köpf; Mark Silberstein (IEEE Micro, 2023)

Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring. - Jana Hofmann; Cédric Fournet; Boris Köpf; Stavros Volos (CCS, 2024)

Principled Microarchitectural Isolation on Cloud CPUs. - Stavros Volos; Cédric Fournet; Jana Hofmann; Boris Köpf; Oleksii Oleksenko (CCS, 2024)

Closed-Form Bounds for DP-SGD against Record-level Inference. - Giovanni Cherubin; Boris Köpf; Andrew Paverd; Shruti Tople; Lukas Wutschitz; Santiago Zanella-Béguelin (USENIX Security Symposium, 2024)

Permissive Information-Flow Analysis for Large Language Models. - Shoaib Ahmed Siddiqui; Radhika Gaonkar; Boris Köpf; David Krueger 001; Andrew Paverd; Ahmed Salem 001; Shruti Tople; Lukas Wutschitz; Menglin Xia; Santiago Zanella-Béguelin (CoRR, 2024)

Securing AI Agents with Information-Flow Control. - Manuel Costa; Boris Köpf; Aashish Kolluri; Andrew Paverd; Mark Russinovich; Ahmed Salem 001; Shruti Tople; Lukas Wutschitz; Santiago Zanella-Béguelin (CoRR, 2025)

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks. - Oleksii Oleksenko; Flavien Solt; Cédric Fournet; Jana Hofmann; Boris Köpf; Stavros Volos (CoRR, 2025)