ESET crackme для BlackHat US 2012

Введение


В июле 2012 в г. Лас-Вегас проходила очередная всемирно-известная конференция BlackHat US 2012. Специально для участников фирма ESET подготовила crack-me. Причем эта задачка почти, что копия предыдущей головоломки для мероприятия PHDays, проходившего в конце мая 2012. Изменения чисто внешние, но алгоритмы почти те же самые.

Победителем оказался Eloi Vanderbeken из Oppida. В блоге по адресу http://blog-oppida.blogspot.fr/2012/08/solution-for-eset-blackhat-us-challenge.html описан ход решения этой замечательной задачки. Здесь представлен перевод этой статьи. Из-за большого объема форматирования текста, я решил оформить статью в виде pdf-файла.

Задание - на странице http://go.eset.com/us/rulethecode/ по кнопке "Download code". Учтите, что страница может измениться. Поэтому выкладываю здесь архив crackme.zip.

Решение


Сама статья - Crack-me для конференции BlackHat US 2012

Кейген первого уровня - stage1.py
Необходимо для работы кейгена: Python-реализация алгоритма хэширования Whirlpool

Кейген второго уровня - stage2.py
Необходимо для работы кейгена: Z3 An Efficient Theorem Prover. После установки пакета Z3 достаточно положить в папку с нашим скриптом файлы: z3.dll, z3*.py (z3.py, z3consts.py, z3core.py, ….)

Пока не указано иное, содержимое этой страницы распространяется по лицензии Creative Commons Attribution-ShareAlike 3.0 License