News for hackers. Stuff that matters.

A comment on Solving a Crackme using Z3: Theorem Prover .

Re:Solving a Crackme using Z3: Theorem Prover by dennis714 on Tuesday May 19, 2015 @06:04AM (#9568947)
Couple of other articles about Z3 which may be also interesting: http://yurichev.com/writings/z3_rockey.pdf http://blog.yurichev.com/node/86
[ Parent | on HN ]

There are no comments on this comment yet.