Oleksii Oleksenko

Senior Researcher

Publications

View by:

- 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 Project
- 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 Project
- 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 Project
- 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 Project
- 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 Project Project
- 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 Video Video Github Project

- 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 Project
- 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 Project
- 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 Project
- 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 Project
- 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 Project Project
- 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 Video Video Github Project
- 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 Project
- 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 Project
- 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 Project
- 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 Project Project
- 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 Video Video Github Project

- 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 Project
- 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 Project
- 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 Project
- 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 Project
- 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 Project Project
- 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 Video Video Github Project

Oleksii Oleksenko

Publications

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Principled Microarchitectural Isolation on Cloud CPUs

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Revizor: Testing Black-box CPUs against Speculation Contracts

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Principled Microarchitectural Isolation on Cloud CPUs

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Revizor: Testing Black-box CPUs against Speculation Contracts

Principled Microarchitectural Isolation on Cloud CPUs

Principled Microarchitectural Isolation on Cloud CPUs

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Revizor: Testing Black-box CPUs against Speculation Contracts

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures

Principled Microarchitectural Isolation on Cloud CPUs

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

Revizor: Testing Black-box CPUs against Speculation Contracts

Contact Oleksii Oleksenko

Microsoft Research Lab – Cambridge