Скачать
Автоматический реверс-инжиниринг с помощью символьного исполнения
Автор: Akiba | Hackspace
Загружено: 2025-12-19
Просмотров: 39
Описание:
Вова https://t.me/KillingInTheNameOf расскажет про математическую магию, с которой любая компьютерная программа превращается в набор формальных утверждений. А с ними мы можем подтверждать что программа работает как было задумано. Ну, или... опровергать теоремы и находить уязвимости!
Запись митапа 02.11.2025, прошедшего в томском хакспейсе Akiba.
Сайт: https://akiba.space
Telegram: https://t.me/akiba_space
Чат: https://akiba.space/chat
p.s. сорян за фризы картинки, интернет в хакспейсе в этот раз не вывез 1080p, будем фиксить стрим и делать запись локально, а не с ютуба выгружать
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
