14-Aug-2012: Finding unknown algorithm using only input/output pairs and Z3 SMT solver

Text is moved into: http://yurichev.com/writings/z3_rockey.pdf

Update: as seen on reddit:

http://www.reddit.com/r/ReverseEngineering/comments/y9tvx/finding_unknown_algorithm_using_only_inputoutput/

http://www.reddit.com/r/compsci/comments/yijjn/finding_unknown_algorithm_using_only_inputoutput/


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


Interested in articles like this? Subscribe to my blog and/or twitter: @yurichev and/or facebook.

→ [list of blog posts]

The page last updated on 26-April-2016