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

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

Publication

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

Publication DOI Publication

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

Author's Version Publication

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

Author's Version Publication

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

Publication

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

Publication プロジェクト

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

Author's Version 動画 動画 Github

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

Publication プロジェクト

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)

Publication プロジェクト プロジェクト

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

Publication プロジェクト

Theory and Practice of Finding Eviction Sets

Pepe Vila, Boris Köpf, José F. Morales

IEEE Symposium on Security and Privacy | May 2019

Publication プロジェクト

Loophole: Timing Attacks on Shared Event Loops in Chrome

Pepe Vila, Boris Köpf

USENIX Security Symposium | August 2017

Distinguished paper award

Publication

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

Publication プロジェクト

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

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

Publication

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

Publication DOI Publication

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

Author's Version Publication

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

Author's Version Publication

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

Publication

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

Publication プロジェクト

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

Author's Version 動画 動画 Github

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

Publication プロジェクト

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)

Publication プロジェクト プロジェクト

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

Publication プロジェクト

Theory and Practice of Finding Eviction Sets

Pepe Vila, Boris Köpf, José F. Morales

IEEE Symposium on Security and Privacy | May 2019

Publication プロジェクト

Loophole: Timing Attacks on Shared Event Loops in Chrome

Pepe Vila, Boris Köpf

USENIX Security Symposium | August 2017

Distinguished paper award

Publication

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

Publication プロジェクト

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

Author's Version Publication

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

Author's Version Publication

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)

Publication プロジェクト プロジェクト

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

Publication

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

Publication プロジェクト

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

Author's Version 動画 動画 Github

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

Publication プロジェクト

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)

Publication プロジェクト プロジェクト

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

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

Publication

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

Publication DOI Publication

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

Author's Version Publication

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

Author's Version Publication

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

Publication

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

Publication プロジェクト

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

Author's Version 動画 動画 Github

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

Publication プロジェクト

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)

Publication プロジェクト プロジェクト

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

Publication プロジェクト

Theory and Practice of Finding Eviction Sets

Pepe Vila, Boris Köpf, José F. Morales

IEEE Symposium on Security and Privacy | May 2019

Publication プロジェクト

Loophole: Timing Attacks on Shared Event Loops in Chrome

Pepe Vila, Boris Köpf

USENIX Security Symposium | August 2017

Distinguished paper award

Publication

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

Publication プロジェクト