Oleksii Oleksenko

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 Projet

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 Projet

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 Projet

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 Projet

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 Projet Projet

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 Vidéo Vidéo Github Projet

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 Projet

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 Projet

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 Projet

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 Projet

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 Projet Projet

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 Vidéo Vidéo Github Projet

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 Projet

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 Projet

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 Projet

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 Projet Projet

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 Vidéo Vidéo Github Projet

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 Projet

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 Projet

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 Projet

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 Projet

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 Projet Projet

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 Vidéo Vidéo Github Projet