Alexey Vishnyakov
Head Of Development Security at Yandex Cloud
Moscow, Moscow, Russia
Summary
🤩
Rockstar🎓
Top SchoolAlexey Vishnyakov is a Head of Development Security with a PhD in computer science and eight years of hands-on experience bridging academic research and production security at ISPRAS and Yandex Cloud. He leads development of Sydr, a cutting-edge dynamic symbolic execution and hybrid fuzzing tool, and has a deep technical pedigree in binary analysis, dynamic instrumentation and ROP tooling. Alexey’s open-source contributions to high-profile projects such as TensorFlow, DynamoRIO and Triton demonstrate strong C/C++ and assembly-level expertise, focused on fixing critical null-pointer and platform compatibility bugs that improved stability at scale. Skilled at turning research into practical developer tooling, he combines rigorous formal background from MSU and ISP RAS with operational DevSecOps leadership in cloud environments. Notably, he pairs low-level reverse-engineering acumen with cloud security strategy, allowing him to spot and remediate subtle runtime bugs that others often miss.
8 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ivannikov Institute for System Programming of the RASLomonosov Moscow State University
Russian, English
Github Skills (35)
debugging10
debug10
bins10
assembly10
c-language10
python10
linux10
dynamic10
instrumentation10
c1110
semantics10
binarydiff10
x8610
c1710
exploit10
Programming languages (14)
Github contributions (5)
JonathanSalwan/ROPgadget
Apr 2018 - Dec 2022
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:15 releases, 18 reviews, 58 commits in 4 years 8 months
Contributions summary:Alexey primarily contributed to the ROPgadget tool by adding support for various architectures and endianness, enabling the tool to work with a wider range of binaries for reverse engineering and exploitation. They enhanced the tool's functionality by incorporating MIPS and x86 jmp/jalr/jal instructions, improving its ability to find relevant code snippets. Additionally, the user addressed specific functional improvements such as Python3 support and gadget alignment options, showing a focus on refining the tool's capabilities.
gadgetselfglibcroparm64
JonathanSalwan/Triton
Sep 2018 - Dec 2022
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Role in this project:Back-end Developer
Back-end DeveloperContributions:51 reviews, 57 commits, 44 PRs in 4 years 3 months
Contributions summary:Alexey focused on implementing and fixing the semantics of x86 assembly instructions within the Triton dynamic binary analysis library. Their work primarily involved adding support for instructions like `POPF`, `VMOVD`, and `VMOVQ`, and correcting existing semantics for instructions like `POPAL` and `PUSH ESP`. This involved modifying the `x86Semantics.cpp` and `x86Semantics.hpp` files to accurately reflect the behavior of the target instructions. The user's commits demonstrate a deep understanding of x86 assembly and the inner workings of a dynamic binary analysis framework.
binary-analysisemulatoremulateengineeringabstract-interpretation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.