Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 2024
Boris Köpf
Principal Researcher
Publications
Publications by Year
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
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 | August 2024
-
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 | August 2023
Bayesian Estimation of Differential Privacy
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
Editor(s): Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
-
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
-
Grey-box Extraction of Natural Language Models
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
Editor(s): Marina Meila and Tong Zhang
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
-
Analyzing Information Leakage of Updates to Natural Language Models
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
CacheQuery: learning replacement policies from hardware caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
-
Theory and Practice of Finding Eviction Sets
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
-
Loophole: Timing Attacks on Shared Event Loops in Chrome
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
Publications by Research Area
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 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 | August 2024
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 | August 2023
Bayesian Estimation of Differential Privacy
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
Editor(s): Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Grey-box Extraction of Natural Language Models
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
Editor(s): Marina Meila and Tong Zhang
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Analyzing Information Leakage of Updates to Natural Language Models
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
CacheQuery: learning replacement policies from hardware caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
Theory and Practice of Finding Eviction Sets
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
Loophole: Timing Attacks on Shared Event Loops in Chrome
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
-
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 | August 2024
Bayesian Estimation of Differential Privacy
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
Editor(s): Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Grey-box Extraction of Natural Language Models
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
Editor(s): Marina Meila and Tong Zhang
Analyzing Information Leakage of Updates to Natural Language Models
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
CacheQuery: learning replacement policies from hardware caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
-
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 | August 2023
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
CacheQuery: learning replacement policies from hardware caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017
Publications by Type
-
Principled Microarchitectural Isolation on Cloud CPUs
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
ACM Conference on Computer and Communications Security (CCS) | October 2024
CCS Distinguished Paper Award
Gaussian Elimination of Side-channels: Linear Algebra for Memory Coloring
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
ACM Conference on Computer and Communications Security (CCS) | October 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 | August 2024
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 | August 2023
Bayesian Estimation of Differential Privacy
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Ahmed Salem, Victor Ruehle, Andrew Paverd, Mohammad Naseri, Boris Köpf, Daniel Jones
2023 International Conference on Machine Learning | July 2023
Editor(s): Barbara Engelhardt, Emma Brunskill, Kyunghyun Cho
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Ahmed Salem, Giovanni Cherubin, David Evans, Boris Köpf, Andrew Paverd, Anshuman Suri, Shruti Tople, Santiago Zanella-Béguelin
2023 IEEE Symposium on Security and Privacy | May 2023
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
IEEE Symposium on Security and Privacy (S&P) | May 2023
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22) | March 2022
IEEE MICRO Top Pick
Grey-box Extraction of Natural Language Models
Santiago Zanella-Béguelin, Shruti Tople, Andrew Paverd, Boris Köpf
International Conference on Machine Learning | July 2021
Editor(s): Marina Meila and Tong Zhang
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila
IEEE Symposium on Security and Privacy | May 2021
Best Paper Award
Analyzing Information Leakage of Updates to Natural Language Models
Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt
ACM Conference on Computer and Communication Security (CCS) | November 2020
CacheQuery: learning replacement policies from hardware caches
Pepe Vila, Pierre Ganty, Marco Guarnieri, Boris Köpf
2020 Programming Language Design and Implementation | June 2020
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, Jose F. Morales, Jan Reineke, Andres Sanchez
IEEE Symposium on Security and Privacy | May 2020
Theory and Practice of Finding Eviction Sets
Pepe Vila, Boris Köpf, José F. Morales
IEEE Symposium on Security and Privacy | May 2019
Loophole: Timing Attacks on Shared Event Loops in Chrome
Pepe Vila, Boris Köpf
USENIX Security Symposium | August 2017
Distinguished paper award
Rigorous Analysis of Software Countermeasures against Cache Attacks
Goran Doychev, Boris Köpf
ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2017