Strictly speaking this problem is more of a "keygenme", since a crackme is usual... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

userbinator on May 18, 2015 | parent | context | favorite | on: Solving a Crackme using Z3: Theorem Prover

Strictly speaking this problem is more of a "keygenme", since a crackme is usually approached in the "figure out which conditional jump(s) to patch" manner.

Wiremask on May 18, 2015 [–]

Yes I totally agree, I just kept the file original name.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact