Oleksii Oleksenko

According to our database, Oleksii Oleksenko authored at least 20 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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

CoRR, July, 2025

AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures.

Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, Gururaj Saileshwar

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Principled Microarchitectural Isolation on Cloud CPUs.

Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

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

Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko

Proceedings of the 32nd USENIX Security Symposium, 2023

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

Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Revizor: testing black-box CPUs against speculation contracts.

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Maintaining Security in the Era of Microarchitectural Attacks.

Oleksii Oleksenko

PhD thesis, 2021

Revizor: Fuzzing for Leaks in Black-box CPUs.

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

CoRR, 2021

2020

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.

Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer

Proceedings of the 29th USENIX Security Symposium, 2020

T-Lease: a trusted lease primitive for distributed systems.

Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2019

Clemmys: towards secure remote execution in FaaS.

Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer

Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

2018

You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.

Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer

CoRR, 2018

Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks.

Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack.

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems, 2018

2017

Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches.

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.

Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Twelfth European Conference on Computer Systems, 2017

Fex: A Software Systems Evaluator.

Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report).

Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2016

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).

Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

Resiliency-aware Data Compression for In-memory Database Systems.

Till Kolditz, Dirk Habich, Patrick Damme, Wolfgang Lehner, Dmitrii Kuvaiskii, Oleksii Oleksenko, Christof Fetzer

Proceedings of the DATA 2015, 2015