Skip to content
Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
16 lines (8 sloc) 553 Bytes
m4_include(`commons.m4')
_HEADER_HL1(`14-Aug-2012: Finding unknown algorithm using only input/output pairs and Z3 SMT solver')
<p>Text is moved into: _HTML_LINK_AS_IS(`//yurichev.com/writings/z3_rockey.pdf')</p>
<p>Update: as seen on reddit:</p>
<p>_HTML_LINK_AS_IS(`http://www.reddit.com/r/ReverseEngineering/comments/y9tvx/finding_unknown_algorithm_using_only_inputoutput/')</p>
<p>_HTML_LINK_AS_IS(`http://www.reddit.com/r/compsci/comments/yijjn/finding_unknown_algorithm_using_only_inputoutput/')</p>
_BLOG_FOOTER_GITHUB(`71')
_BLOG_FOOTER()
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.