Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
Project Venice
Publications
-
-
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
-
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
-
-
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
-
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
-
-
-
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
-
-
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
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
-
-
-
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
-
-
-
Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
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 Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
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
-
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
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
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
-
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
-
-
-
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
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
-
-
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
-
-
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
-
-
Principled Design of Indexing Functions for Memory Coloring
Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos
35th USENIX Security Symposium | August 2026
-
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
IEEE Symposium on Security and Privacy | May 2026
Distinguished Paper Award
Accepted at IEEE SP 2025, publication delayed due to embargo.
-
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, M. Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems | February 2025
-
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
-
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
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
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
-
Oblivious Multi-Party Machine Learning on Trusted Processors
Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
The 25th USENIX Security Symposium 2016 | July 2016
-