Boris Köpf - RankMe

81 papers A* 22A 13B 1Journal 37Unranked 7

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