Oleksii Oleksenko

26 papers A* 5A 3C 1Misc 1Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures.
ASPLOS (2)
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
2025 J jnl
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures.
CoRR
Bo Fu, Leo Tenenbaum, David Adler, Assaf Klein, Arpit Gogia, Alaa R. Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, Gururaj Saileshwar
2025 J jnl
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks.
CoRR
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
2024 A* conf
Principled Microarchitectural Isolation on Cloud CPUs.
CCS
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
2023 A* conf
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing.
SP
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
2023 J jnl
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing.
CoRR
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
2023 J jnl
Revizor: Testing Black-Box CPUs Against Speculation Contracts.
IEEE Micro
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
2023 A* conf
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions.
USENIX Security Symposium
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
2022 A* conf
Revizor: testing black-box CPUs against speculation contracts.
ASPLOS
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
2021 — —
Maintaining Security in the Era of Microarchitectural Attacks.
Oleksii Oleksenko
2021 J jnl
Revizor: Fuzzing for Leaks in Black-box CPUs.
CoRR
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
2021 J jnl
T-Lease: A Trusted Lease Primitive for Distributed Systems.
CoRR
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2020 A* conf
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.
USENIX Security Symposium
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
2020 — conf
T-Lease: a trusted lease primitive for distributed systems.
SoCC
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2019 Misc conf
Clemmys: towards secure remote execution in FaaS.
SYSTOR
Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer
2019 J jnl
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface.
CoRR
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
2018 — conf
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack.
SIGMETRICS (Abstracts)
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2018 J jnl
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack.
Proc. ACM Meas. Anal. Comput. Syst.
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2018 — conf
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks.
USENIX ATC
Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer
2018 J jnl
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.
CoRR
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer
2017 A conf
Fex: A Software Systems Evaluator.
DSN
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer
2017 J jnl
Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches.
CoRR
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2017 A conf
SGXBOUNDS: Memory Safety for Shielded Execution.
EuroSys
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2016 A conf
ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).
DSN
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2016 J jnl
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report).
CoRR
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2015 C conf
Resiliency-aware Data Compression for In-memory Database Systems.
DATA
Till Kolditz, Dirk Habich, Patrick Damme, Wolfgang Lehner, Dmitrii Kuvaiskii, Oleksii Oleksenko, Christof Fetzer