29-Mar-2014: Cracking simple hash-function using Z3 SMT-solver

Just added about cracking simple hash-function using Z3 SMT-solver (page 393): //yurichev.com/writings/RE_for_beginners-en.pdf. This can be interesting for computer programmers in general, not just to reverse engineers.

Another my article about it Z3 SMT-solver: //yurichev.com/writings/z3_rockey.pdf

Please also do not hesitate writing me any comments, I really need feedback!


This open sourced site and this page in particular is hosted on GitHub. Patches, suggestions and comments are welcome.


→ [list of blog posts, my twitter/facebook]

The page last updated on 16-September-2016