Oleksii Oleksenko

Computer Science researcher working on hardware security, software security, and everything in between

Publications

1. Oleksenko, O., Solt, F., Fournet, C., Hofmann, J., Köpf, B., Volos, S. Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks. IEEE Symposium on Security and Privacy (S&P), 2026. [ Web | PDF ]
2. Fu, B., Tenenbaum, L., Adler, D., Klein, A., Gogia, A., Alameldeen, A. R., Guarnieri, M., Silberstein, M., Oleksenko, O., Saileshwar, G. Amulet: Automated Design-time Testing of Secure Speculation Countermeasures. Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025. [ Web | PDF ]
3. Distinguished Paper Award Volos, S., Fournet, C., Hofmann, J., Köpf, B., Oleksenko, O. Principled Microarchitectural Isolation on Cloud CPUs. ACM SIGSAC Conference on Computer and Communications Security (CCS), 2024. [ Web | PDF ]
4. Hofmann, J., Vannacci, E., Fournet, C., Köpf, B., Oleksenko, O. Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. USENIX Security Symposium (USENIX Security), 2023. [ Web | PDF | GitHub | Artifact ]
5. Oleksenko, O., Guarnieri, M., Köpf, B., Silberstein, M. Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. IEEE Symposium on Security and Privacy (S&P), 2023. [ Web | PDF | GitHub ]
6. Micro Top Pick'23 Oleksenko, O., Fetzer, C., Köpf, B., Silberstein, M. Revizor: Testing Black-box CPUs against Speculation Contracts. Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2022. [ Web | Report | GitHub ]
7. Trach, B., Faqeh, R., Oleksenko, O., Ozga, W., Bhatotia, P., Fetzer, C. T-lease: A trusted lease primitive for distributed systems. ACM Symposium on Cloud Computing, 2020. [ Web ]
8. First Place @ CSAW'20 Oleksenko, O., Trach, B., Silberstein, M., Fetzer, C. SpecFuzz: Bringing Spectre-type vulnerabilities to the surface. USENIX Security Symposium, 2020. [ Web | Report ]
9. Trach, B., Oleksenko, O., Gregor, F., Bhatotia, P., Fetzer, C. Clemmys: Towards Secure Remote Execution in FaaS. ACM/USENIX SYSTOR, 2019. [ DOI | Slides ]
10. Oleksenko, O., Trach, B., Reiher, T., Silberstein, M., Fetzer, C. You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. arXiv preprint, 2018. [ Report ]
11. Oleksenko, O., Trach, B., Krahn, R., Martin, A., Silberstein, M., Fetzer, C. Varys: Protecting SGX enclaves from practical side-channel attacks. USENIX Annual Technical Conference (USENIX ATC), 2018. [ Web | PDF | Slides ]
12. Oleksenko, O., Kuvaiskii, D., Bhatotia, P., Felber, P., Fetzer, C. Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack. ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2018. [ DOI | Web | Report | GitHub ]
13. Oleksenko, O., Kuvaiskii, D., Bhatotia, P., Fetzer, C. Fex: A Software Systems Evaluator. International Conference on Dependable Systems & Networks (DSN), 2017. [ PDF | GitHub ]
14. Best Paper Award Kuvaiskii, D., Oleksenko, O., Arnautov, S., Trach, B., Bhatotia, P., Felber, P., Fetzer, C. SGXBounds: Memory safety for shielded execution. European Conference on Computer Systems (EuroSys), 2017. [ PDF | GitHub ]
15. Kuvaiskii, D., Oleksenko, O., Bhatotia, P., Felber, P., Fetzer, C. Elzar: Triple Modular Redundancy using Intel AVX (Practical Experience Report). IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2016. [ PDF | Report ]
16. Oleksenko, O. SIMD-Swift: Improving Performance of Swift Fault Detection. Master's Thesis, TU Dresden, 2015. [ PDF ]

Awards

• 2024 Distinguished Paper Award, ACM CCS
• 2023 IEEE MICRO Top Picks
• 2020 1st Place at Applied Research Competition, CSAW Europe
• 2017 Best Paper Award, EuroSys

Service