Блокчейн-инженер и исследователь безопасности.

Занимаюсь R&D там, где документации нет или ей нельзя верить: читаю исходники, реверс-инжинирю бинари, ищу неочевидные свойства систем, отлаживаю сложные баги и уязвимости. Активный участник CTF-соревнований с 2015 года.

Локация: Томск, Россия (работаю удалённо, ездить в командировки ок)

Языки: русский, английский (B2).

Контакты

GitHub: https://github.com/hacker-volodya

Телефон: +79994997567

Email: [email protected]

Telegram: https://t.me/KillingInTheNameOf

Навыки / инструменты

R&D / реверс-инжиниринг: исследование слабо документированных систем, анализ исходников и бинарей, восстановление спецификаций/поведения, отладка сложных багов и уязвимостей

Формальные методы: символьное исполнение (angr, TSA), SMT солверы (Z3)

Основные языки программирования: Python, Rust

Публикации

• В. В. Лебедев, “Деобфускация Control Flow Flattening средствами символьного исполнения”, ПДМ. Приложение, 2021, № 14, 134–138

Опыт работы

The Open Network (TON) — blockchain engineer

сентябрь 2023 — декабрь 2025

• Разработал машиночитаемую спецификацию ~900 инструкций TVM — https://github.com/ton-community/tvm-spec
• Оценил и прототипировал перенос компонентов лайт-ноды с C++ на Rust — ‣