Oleksii Oleksenko

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 21

Top Topics

Efficient Discovery

Data Compression

Distributed Systems

Top Venues

USENIX Security Symposium

USENIX Annual Technical Conference

Publications

Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. SP (2023)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. CoRR (2023)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. USENIX Security Symposium (2023)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: Testing Black-Box CPUs Against Speculation Contracts. IEEE Micro 43 (4) (2023)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: testing black-box CPUs against speculation contracts. ASPLOS (2022)
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein
Revizor: Fuzzing for Leaks in Black-box CPUs. CoRR (2021)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: A Trusted Lease Primitive for Distributed Systems. CoRR (2021)
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
T-Lease: a trusted lease primitive for distributed systems. SoCC (2020)
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. USENIX Security Symposium (2020)
Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer
Clemmys: towards secure remote execution in FaaS. SYSTOR (2019)
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein, Christof Fetzer
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. CoRR (2019)
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. CoRR (2018)
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack. SIGMETRICS (Abstracts) (2018)
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack. Proc. ACM Meas. Anal. Comput. Syst. 2 (2) (2018)
Oleksii Oleksenko, Bohdan Trach, Robert Krahn, Mark Silberstein, Christof Fetzer
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks. USENIX Annual Technical Conference (2018)
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer
Fex: A Software Systems Evaluator. DSN (2017)
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, Christof Fetzer
SGXBOUNDS: Memory Safety for Shielded Execution. EuroSys (2017)
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches. CoRR (2017)
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer
ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report). DSN (2016)
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, Christof Fetzer
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report). CoRR (2016)
Till Kolditz, Dirk Habich, Patrick Damme, Wolfgang Lehner, Dmitrii Kuvaiskii, Oleksii Oleksenko, Christof Fetzer
Resiliency-aware Data Compression for In-memory Database Systems. DATA (2015)