Boris Kpf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
11
Active years
2001–2024
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring. | Jana Hofmann, Cdric Fournet, Boris Kpf, Stavros Volos |
| 2024 | CCS | Principled Microarchitectural Isolation on Cloud CPUs. | Stavros Volos, Cdric Fournet, Jana Hofmann, Boris Kpf, Oleksii Oleksenko |
| 2023 | ICML | Bayesian Estimation of Differential Privacy. | Santiago Zanella-Bguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Rhle, Andrew Paverd, Mohammad Naseri, Boris Kpf, Daniel Jones |
| 2023 | SP | Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. | Oleksii Oleksenko, Marco Guarnieri, Boris Kpf, Mark Silberstein |
| 2023 | SP | SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning. | Ahmed Salem, Giovanni Cherubin, David Evans, Boris Kpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Bguelin |
| 2022 | ASPLOS | Revizor: testing black-box CPUs against speculation contracts. | Oleksii Oleksenko, Christof Fetzer, Boris Kpf, Mark Silberstein |
| 2021 | ICML | Grey-box Extraction of Natural Language Models. | Santiago Zanella-Bguelin, Shruti Tople, Andrew Paverd, Boris Kpf |
| 2021 | SP | Hardware-Software Contracts for Secure Speculation. | Marco Guarnieri, Boris Kpf, Jan Reineke, Pepe Vila |
| 2020 | CCS | Analyzing Information Leakage of Updates to Natural Language Models. | Santiago Zanella-Bguelin, Lukas Wutschitz, Shruti Tople, Victor Rhle, Andrew Paverd, Olga Ohrimenko, Boris Kpf, Marc Brockschmidt |
| 2020 | PLDI | CacheQuery: learning replacement policies from hardware caches. | Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Kpf |
| 2020 | SP | Spectector: Principled Detection of Speculative Information Flows. | Marco Guarnieri, Boris Kpf, Jos F. Morales, Jan Reineke, Andrs Snchez |
| 2019 | SP | Theory and Practice of Finding Eviction Sets. | Pepe Vila, Boris Kpf, Jos F. Morales |
| 2017 | ATVA | A Language-Theoretic View on Network Protocols. | Pierre Ganty, Boris Kpf, Pedro Valero |
| 2017 | PLDI | Rigorous analysis of software countermeasures against cache attacks. | Goran Doychev, Boris Kpf |
| 2015 | CAV | Symbolic Polytopes for Quantitative Interpolation and Verification. | Klaus von Gleissenthall, Boris Kpf, Andrey Rybalchenko |
| 2013 | NDSS | Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. | Michael Backes, Goran Doychev, Boris Kpf |
| 2012 | CAV | Automatic Quantification of Cache Side-Channels. | Boris Kpf, Laurent Mauborgne, Martn Ochoa |
| 2012 | POPL | Probabilistic relational reasoning for differential privacy. | Gilles Barthe, Boris Kpf, Federico Olmedo, Santiago Zanella-Bguelin |
| 2011 | CCS | Non-uniform distributions in quantitative information-flow. | Michael Backes, Matthias Berg, Boris Kpf |
| 2010 | ESORICS | Speaker Recognition in Encrypted Voice Streams. | Michael Backes, Goran Doychev, Markus Drmuth, Boris Kpf |
| 2009 | SP | Automatic Discovery and Quantification of Information Leaks. | Michael Backes, Boris Kpf, Andrey Rybalchenko |
| 2008 | ESORICS | Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. | Michael Backes, Boris Kpf |
| 2007 | CCS | An information-theoretic model for adaptive side-channel attacks. | Boris Kpf, David A. Basin |
| 2006 | ESORICS | Timing-Sensitive Information Flow Analysis for Synchronous Systems. | Boris Kpf, David A. Basin |
| 2001 | GD | Visone. | Michael Baur, Marc Benkert, Ulrik Brandes, Sabine Cornelsen, Marco Gaertler, Boris Kpf, Jrgen Lerner, Dorothea Wagner |
| 2001 | GD | Fast and Simple Horizontal Coordinate Assignment. | Ulrik Brandes, Boris Kpf |