Resiliency-aware Data Compression for In-memory Database Systems. - Till Kolditz; Dirk Habich; Patrick Damme; Wolfgang Lehner; Dmitrii Kuvaiskii; Oleksii Oleksenko; Christof Fetzer (DATA, 2015)

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report). - Dmitrii Kuvaiskii; Oleksii Oleksenko; Pramod Bhatotia; Pascal Felber; Christof Fetzer (DSN, 2016)

Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report). - Dmitrii Kuvaiskii; Oleksii Oleksenko; Pramod Bhatotia; Pascal Felber; Christof Fetzer (CoRR, 2016)

Fex: A Software Systems Evaluator. - Oleksii Oleksenko; Dmitrii Kuvaiskii; Pramod Bhatotia; Christof Fetzer (DSN, 2017)

SGXBOUNDS: Memory Safety for Shielded Execution. - Dmitrii Kuvaiskii; Oleksii Oleksenko; Sergei Arnautov; Bohdan Trach; Pramod Bhatotia; Pascal Felber; Christof Fetzer (EuroSys, 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)

Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks. - Oleksii Oleksenko; Bohdan Trach; Robert Krahn; Mark Silberstein; Christof Fetzer (USENIX ATC, 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)

Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack. - Oleksii Oleksenko; Dmitrii Kuvaiskii; Pramod Bhatotia; Pascal Felber; Christof Fetzer (Proc. ACM Meas. Anal. Comput. Syst., 2018)

Clemmys: towards secure remote execution in FaaS. - Bohdan Trach; Oleksii Oleksenko; Franz Gregor; Pramod Bhatotia; Christof Fetzer (SYSTOR, 2019)

T-Lease: a trusted lease primitive for distributed systems. - Bohdan Trach; Rasha Faqeh; Oleksii Oleksenko; Wojciech Ozga; Pramod Bhatotia; Christof Fetzer (SoCC, 2020)

SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. - Oleksii Oleksenko; Bohdan Trach; Mark Silberstein; Christof Fetzer (USENIX Security Symposium, 2020)

Revizor: Fuzzing for Leaks in Black-box CPUs. - Oleksii Oleksenko; Christof Fetzer; Boris Köpf; Mark Silberstein (CoRR, 2021)

Maintaining Security in the Era of Microarchitectural Attacks. - Oleksii Oleksenko (2021)

Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. - Oleksii Oleksenko; Marco Guarnieri; Boris Köpf; Mark Silberstein (SP, 2023)

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, 2023)

Revizor: Testing Black-Box CPUs Against Speculation Contracts. - Oleksii Oleksenko; Christof Fetzer; Boris Köpf; Mark Silberstein (IEEE Micro, 2023)

Principled Microarchitectural Isolation on Cloud CPUs. - Stavros Volos; Cédric Fournet; Jana Hofmann; Boris Köpf; Oleksii Oleksenko (CCS, 2024)

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 (ASPLOS (2), 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, 2025)