Oleksii Oleksenko

Senior Researcher

论文与出版物

查看方式：

- 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 项目
- 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 项目

- 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 项目
- 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 项目
- 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 项目
- 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 项目

- 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 项目
- 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 项目

Oleksii Oleksenko

论文与出版物

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

联系 Oleksii Oleksenko

Microsoft Research Lab – Cambridge