Cracking

Sunday 11 October 2020, 08:26 #1

Cracking using z3

2 posts

I tried cracking using z3, but got ***unsat***, is there any mistake or not?
code:
[Th1b4ud : spoil of anti-debug equation challenge]

Monday 12 October 2020, 05:53 #2

Cracking using z3

2 posts

I find out! How stupid I am!

[Th1b4ud : spoil of anti-debug equation challenge]

Monday 12 October 2020, 12:52 #3

[CLOS] Cracking using z3

1636 posts

Challenge solved