Oleksii Oleksenko

Senior Researcher

Three white icons on a gradient background that transitions from blue on the left to pink on the right. The first icon, on the left, is a microchip with a padlock in the center. The middle icon is a flowchart diagram with connected shapes. The third icon, on the right, consists of two angle brackets facing each other.

Microsoft Research ブログ

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

6月 10, 2025 | Jonathan Protzenko, Samuel Lee, Samreen Khadeer, Son Ho, Oleksii Oleksenko, Michael Naehrig, と Cédric Fournet

We're rewriting parts of Microsoft's Sym…

Revizor Test case generator comparing CPU under test and Leakage contract

Microsoft Research ブログ

Hunting speculative information leaks with Revizor

4月 13, 2023 | Boris Köpf と Oleksii Oleksenko

Spectre and Meltdown are two security vu…