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