Security News > 2015 > May > How I solved a crackme using Z3 (Reddit)
2015-05-18 17:11
News URL
http://www.reddit.com/r/netsec/comments/36dqxl/how_i_solved_a_crackme_using_z3/
http://www.reddit.com/r/netsec/comments/36dqxl/how_i_solved_a_crackme_using_z3/