Boris Köpf

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 39

Top Topics

Information Flows

Countermeasures

Malicious Users

Top Venues

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin
Closed-Form Bounds for DP-SGD against Record-level Inference. USENIX Security Symposium (2024)
Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, Santiago Zanella Béguelin
Closed-Form Bounds for DP-SGD against Record-level Inference. CoRR (2024)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. SP (2023)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rühle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
Bayesian Estimation of Differential Privacy. ICML (2023)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. CoRR (2023)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. USENIX Security Symposium (2023)
Ahmed Salem, Andrew Paverd, Boris Köpf
Maatphor: Automated Variant Analysis for Prompt Injection Attacks. CoRR (2023)
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella Béguelin
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. SP (2023)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: Testing Black-Box CPUs Against Speculation Contracts. IEEE Micro 43 (4) (2023)
Lukas Wutschitz, Boris Köpf, Andrew Paverd, Saravan Rajmohan, Ahmed Salem, Shruti Tople, Santiago Zanella Béguelin, Menglin Xia, Victor Rühle
Rethinking Privacy in Machine Learning Pipelines from an Information Flow Control Perspective. CoRR (2023)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rühle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
Bayesian Estimation of Differential Privacy. CoRR (2022)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: testing black-box CPUs against speculation contracts. ASPLOS (2022)
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella Béguelin
SoK: Let The Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. CoRR (2022)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. IEEE Symposium on Security and Privacy (2021)
Santiago Zanella Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
Grey-box Extraction of Natural Language Models. ICML (2021)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: Fuzzing for Leaks in Black-box CPUs. CoRR (2021)
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
Hardware-Software Contracts for Secure Speculation. CoRR (2020)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
Spectector: Principled Detection of Speculative Information Flows. IEEE Symposium on Security and Privacy (2020)
Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke
Flushgeist: Cache Leaks from Beyond the Flush. CoRR (2020)
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
CacheQuery: learning replacement policies from hardware caches. PLDI (2020)
Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
Analyzing Information Leakage of Updates to Natural Language Models. CCS (2020)
Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
Timing Leaks and Coarse-Grained Clocks. CSF (2019)
Itsaka Rakotonirina, Boris Köpf
On Aggregation of Information in Timing Attacks. EuroS&P (2019)
Pepe Vila, Boris Köpf, José F. Morales
Theory and Practice of Finding Eviction Sets. IEEE Symposium on Security and Privacy (2019)
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
CacheQuery: Learning Replacement Policies from Hardware Caches. CoRR (2019)
Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin
Analyzing Privacy Loss in Updates of Natural Language Models. CoRR (2019)
Pablo Cañones, Boris Köpf, Jan Reineke
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. Log. Methods Comput. Sci. 15 (1) (2019)
Pablo Cañones, Boris Köpf, Jan Reineke
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. CoRR (2018)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR (2018)
Pepe Vila, Boris Köpf, José Francisco Morales
Theory and Practice of Finding Eviction Sets. CoRR (2018)
Pablo Cañones, Boris Köpf, Jan Reineke
Security Analysis of Cache Replacement Policies. POST (2017)
Pepe Vila, Boris Köpf
Loophole: Timing Attacks on Shared Event Loops in Chrome. CoRR (2017)
Pablo Cañones, Boris Köpf, Jan Reineke
Security Analysis of Cache Replacement Policies. CoRR (2017)
Pepe Vila, Boris Köpf
Loophole: Timing Attacks on Shared Event Loops in Chrome. USENIX Security Symposium (2017)
Heiko Mantel, Alexandra Weber, Boris Köpf
A Systematic Study of Cache Side Channels Across AES Implementations. ESSoS (2017)
Goran Doychev, Boris Köpf
Rigorous analysis of software countermeasures against cache attacks. PLDI (2017)
Pierre Ganty, Boris Köpf, Pedro Valero
A Language-Theoretic View on Network Protocols. ATVA (2017)
Pierre Ganty, Boris Köpf, Pedro Valero
A Language-theoretic View on Network Protocols. CoRR (2016)
Goran Doychev, Boris Köpf
Rigorous Analysis of Software Countermeasures against Cache Attacks. CoRR (2016)
Michael Backes, Boris Köpf
Quantifying information flow in cryptographic systems. Math. Struct. Comput. Sci. 25 (2) (2015)
Goran Doychev, Boris Köpf
Rational Protection against Timing Attacks. CSF (2015)
Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko
Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) (2015)
Goran Doychev, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
Leakage Resilience against Concurrent Cache Attacks. POST (2014)
Michael Backes, Goran Doychev, Boris Köpf
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. NDSS (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic Relational Reasoning for Differential Privacy. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Boris Köpf, Andrey Rybalchenko
Automation of Quantitative Information-Flow Analysis. SFM (2013)
Pavithra Prabhakar, Boris Köpf
Verifying information flow properties of hybrid systems. HiCoNS (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. USENIX Security Symposium (2013)
Goran Doychev, Dominik Feld, Boris Köpf, Laurent Mauborgne, Jan Reineke
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. IACR Cryptol. ePrint Arch. 2013 (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic relational reasoning for differential privacy. POPL (2012)
Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi
Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports 2 (11) (2012)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. CAV (2012)
Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. IACR Cryptol. ePrint Arch. 2012 (2012)
Michael Backes, Matthias Berg, Boris Köpf
Non-uniform distributions in quantitative information-flow. AsiaCCS (2011)
Boris Köpf, David A. Basin
Automatically deriving information-theoretic bounds for adaptive side-channel attacks. J. Comput. Secur. 19 (1) (2011)
Gilles Barthe, Boris Köpf
Information-theoretic Bounds for Differentially Private Mechanisms. IACR Cryptol. ePrint Arch. 2011 (2011)
Gilles Barthe, Boris Köpf
Information-Theoretic Bounds for Differentially Private Mechanisms. CSF (2011)
Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf
Speaker Recognition in Encrypted Voice Streams. ESORICS (2010)
Boris Köpf, Geoffrey Smith
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. CSF (2010)
Boris Köpf, Andrey Rybalchenko
Approximation and Randomization for Quantitative Information-Flow Analysis. CSF (2010)
Boris Köpf, Markus Dürmuth
A Provably Secure And Efficient Countermeasure Against Timing Attacks. IACR Cryptol. ePrint Arch. 2009 (2009)
Boris Köpf, Markus Dürmuth
A Provably Secure and Efficient Countermeasure against Timing Attacks. CSF (2009)
Michael Backes, Boris Köpf, Andrey Rybalchenko
Automatic Discovery and Quantification of Information Leaks. IEEE Symposium on Security and Privacy (2009)
Michael Backes, Boris Köpf
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. IACR Cryptol. ePrint Arch. 2008 (2008)
Michael Backes, Boris Köpf
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. ESORICS (2008)
Boris Köpf, Heiko Mantel
Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. 6 (2-3) (2007)
Boris Köpf, David A. Basin
An information-theoretic model for adaptive side-channel attacks. CCS (2007)
Boris Köpf, David A. Basin
Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS (2006)
Boris Köpf, Heiko Mantel
Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust (2005)
Ulrik Brandes, Boris Köpf
Fast and Simple Horizontal Coordinate Assignment. Graph Drawing (2001)
Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler, Boris Köpf, Jürgen Lerner, Dorothea Wagner
Visone. Graph Drawing (2001)