default search action
Boris Köpf
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c43]Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko:
Principled Microarchitectural Isolation on Cloud CPUs. CCS 2024: 183-197 - [c42]Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos:
Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring. CCS 2024: 2799-2813 - [c41]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 - [i25]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 abs/2402.14397 (2024) - [i24]Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella Béguelin:
Permissive Information-Flow Analysis for Large Language Models. CoRR abs/2410.03055 (2024) - 2023
- [j7]Oleksii Oleksenko
, Christof Fetzer
Revizor: Testing Black-Box CPUs Against Speculation Contracts. IEEE Micro 43(4): 37-44 (2023) - [c40]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: 40624-40636 - [c39]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: 327-345 - [c38]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: 1737-1752 - [c37]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: 7143-7160 - [i23]Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein:
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. CoRR abs/2301.07642 (2023) - [i22]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 abs/2311.15792 (2023) - [i21]Ahmed Salem, Andrew Paverd, Boris Köpf:
Maatphor: Automated Variant Analysis for Prompt Injection Attacks. CoRR abs/2312.11513 (2023) - 2022
- [c36]Oleksii Oleksenko, Christof Fetzer, Boris Köpf
Revizor: testing black-box CPUs against speculation contracts. ASPLOS 2022: 226-239 - [i20]Santiago Zanella Béguelin
Bayesian Estimation of Differential Privacy. CoRR abs/2206.05199 (2022) - [i19]Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri
SoK: Let The Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. CoRR abs/2212.10986 (2022) - 2021
- [c35]Santiago Zanella Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf:
Grey-box Extraction of Natural Language Models. ICML 2021: 12278-12286 - [c34]Marco Guarnieri
Hardware-Software Contracts for Secure Speculation. SP 2021: 1868-1883 - [i18]Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein:
Revizor: Fuzzing for Leaks in Black-box CPUs. CoRR abs/2105.06872 (2021) - 2020
- [c33]Santiago Zanella Béguelin, Lukas Wutschitz, Shruti Tople, Victor Rühle, Andrew Paverd, Olga Ohrimenko
Analyzing Information Leakage of Updates to Natural Language Models. CCS 2020: 363-375 - [c32]Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf:
CacheQuery: learning replacement policies from hardware caches. PLDI 2020: 519-532 - [c31]Marco Guarnieri
Spectector: Principled Detection of Speculative Information Flows. SP 2020: 1-19 - [i17]Pepe Vila, Andreas Abel, Marco Guarnieri, Boris Köpf, Jan Reineke:
Flushgeist: Cache Leaks from Beyond the Flush. CoRR abs/2005.13853 (2020) - [i16]Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila:
Hardware-Software Contracts for Secure Speculation. CoRR abs/2006.03841 (2020)
2010 – 2019
- 2019
- [j6]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) - [c30]Panagiotis Vasilikos, Hanne Riis Nielson
Timing Leaks and Coarse-Grained Clocks. CSF 2019: 32-47 - [c29]Itsaka Rakotonirina, Boris Köpf:
On Aggregation of Information in Timing Attacks. EuroS&P 2019: 387-400 - [c28]Pepe Vila, Boris Köpf, José F. Morales
Theory and Practice of Finding Eviction Sets. IEEE Symposium on Security and Privacy 2019: 39-54 - [i15]Shruti Tople, Marc Brockschmidt, Boris Köpf, Olga Ohrimenko, Santiago Zanella Béguelin
Analyzing Privacy Loss in Updates of Natural Language Models. CoRR abs/1912.07942 (2019) - [i14]Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf:
CacheQuery: Learning Replacement Policies from Hardware Caches. CoRR abs/1912.09770 (2019) - 2018
- [i13]Pablo Cañones, Boris Köpf, Jan Reineke:
On the Incomparability of Cache Algorithms in Terms of Timing Leakage. CoRR abs/1807.01240 (2018) - [i12]Pepe Vila, Boris Köpf, José Francisco Morales:
Theory and Practice of Finding Eviction Sets. CoRR abs/1810.01497 (2018) - [i11]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR abs/1812.08639 (2018) - 2017
- [c27]Pierre Ganty, Boris Köpf, Pedro Valero:
A Language-Theoretic View on Network Protocols. ATVA 2017: 363-379 - [c26]Heiko Mantel, Alexandra Weber, Boris Köpf:
A Systematic Study of Cache Side Channels Across AES Implementations. ESSoS 2017: 213-230 - [c25]Goran Doychev, Boris Köpf:
Rigorous analysis of software countermeasures against cache attacks. PLDI 2017: 406-421 - [c24]Pablo Cañones, Boris Köpf, Jan Reineke:
Security Analysis of Cache Replacement Policies. POST 2017: 189-209 - [c23]Pepe Vila, Boris Köpf:
Loophole: Timing Attacks on Shared Event Loops in Chrome. USENIX Security Symposium 2017: 849-864 - [i10]Pablo Cañones, Boris Köpf, Jan Reineke:
Security Analysis of Cache Replacement Policies. CoRR abs/1701.06481 (2017) - [i9]Pepe Vila, Boris Köpf:
Loophole: Timing Attacks on Shared Event Loops in Chrome. CoRR abs/1702.06764 (2017) - 2016
- [i8]Goran Doychev, Boris Köpf:
Rigorous Analysis of Software Countermeasures against Cache Attacks. CoRR abs/1603.02187 (2016) - [i7]Pierre Ganty, Boris Köpf, Pedro Valero:
A Language-theoretic View on Network Protocols. CoRR abs/1610.07198 (2016) - 2015
- [j5]Michael Backes, Boris Köpf:
Quantifying information flow in cryptographic systems. Math. Struct. Comput. Sci. 25(2): 457-479 (2015) - [j4]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): 4:1-4:32 (2015) - [c22]Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko:
Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) 2015: 178-194 - [c21]Goran Doychev, Boris Köpf:
Rational Protection against Timing Attacks. CSF 2015: 526-536 - 2014
- [c20]Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
Leakage Resilience against Concurrent Cache Attacks. POST 2014: 140-158 - 2013
- [j3]Gilles Barthe
Probabilistic Relational Reasoning for Differential Privacy. ACM Trans. Program. Lang. Syst. 35(3): 9:1-9:49 (2013) - [c19]Pavithra Prabhakar, Boris Köpf:
Verifying information flow properties of hybrid systems. HiCoNS 2013: 77-84 - [c18]Michael Backes, Goran Doychev, Boris Köpf:
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. NDSS 2013 - [c17]Boris Köpf, Andrey Rybalchenko:
Automation of Quantitative Information-Flow Analysis. SFM 2013: 1-28 - [c16]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: 431-446 - [i6]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: 253 (2013) - 2012
- [c15]Boris Köpf, Laurent Mauborgne, Martín Ochoa
Automatic Quantification of Cache Side-Channels. CAV 2012: 564-580 - [c14]Gilles Barthe
Probabilistic relational reasoning for differential privacy. POPL 2012: 97-110 - [i5]Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi:
Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports 2(11): 135-154 (2012) - [i4]Boris Köpf, Laurent Mauborgne, Martín Ochoa:
Automatic Quantification of Cache Side-Channels. IACR Cryptol. ePrint Arch. 2012: 34 (2012) - 2011
- [j2]Boris Köpf, David A. Basin:
Automatically deriving information-theoretic bounds for adaptive side-channel attacks. J. Comput. Secur. 19(1): 1-31 (2011) - [c13]Michael Backes, Matthias Berg, Boris Köpf:
Non-uniform distributions in quantitative information-flow. AsiaCCS 2011: 367-375 - [c12]Gilles Barthe
Information-Theoretic Bounds for Differentially Private Mechanisms. CSF 2011: 191-204 - [i3]Gilles Barthe, Boris Köpf:
Information-theoretic Bounds for Differentially Private Mechanisms. IACR Cryptol. ePrint Arch. 2011: 71 (2011) - 2010
- [c11]Boris Köpf, Andrey Rybalchenko:
Approximation and Randomization for Quantitative Information-Flow Analysis. CSF 2010: 3-14 - [c10]Boris Köpf, Geoffrey Smith:
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. CSF 2010: 44-56 - [c9]Michael Backes, Goran Doychev, Markus Dürmuth
Speaker Recognition in Encrypted Voice Streams. ESORICS 2010: 508-523
2000 – 2009
- 2009
- [c8]Boris Köpf, Markus Dürmuth:
A Provably Secure and Efficient Countermeasure against Timing Attacks. CSF 2009: 324-335 - [c7]Michael Backes, Boris Köpf, Andrey Rybalchenko:
Automatic Discovery and Quantification of Information Leaks. SP 2009: 141-153 - [i2]Boris Köpf, Markus Dürmuth:
A Provably Secure And Efficient Countermeasure Against Timing Attacks. IACR Cryptol. ePrint Arch. 2009: 89 (2009) - 2008
- [c6]Michael Backes, Boris Köpf:
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. ESORICS 2008: 517-532 - [i1]Michael Backes, Boris Köpf:
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. IACR Cryptol. ePrint Arch. 2008: 162 (2008) - 2007
- [b1]Boris Köpf:
Formal approaches to countering side-channel attacks. ETH Zurich, Zürich, Switzerland, 2007 - [j1]Boris Köpf, Heiko Mantel:
Transformational typing and unification for automatically correcting insecure programs. Int. J. Inf. Sec. 6(2-3): 107-131 (2007) - [c5]Boris Köpf, David A. Basin:
An information-theoretic model for adaptive side-channel attacks. CCS 2007: 286-296 - 2006
- [c4]Boris Köpf, David A. Basin:
Timing-Sensitive Information Flow Analysis for Synchronous Systems. ESORICS 2006: 243-262 - 2005
- [c3]Boris Köpf, Heiko Mantel:
Eliminating Implicit Information Leaks by Transformational Typing and Unification. Formal Aspects in Security and Trust 2005: 47-62 - 2001
- [c2]Ulrik Brandes, Boris Köpf:
Fast and Simple Horizontal Coordinate Assignment. GD 2001: 31-44 - [c1]Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler
Visone. GD 2001: 463-464
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: