Guide your tools Description: This presentation is going to be about formal reverse engineering. - Recent advancements like BitBlaze (VINE, http://bitblaze.cs.berkeley.edu/) or newest additions to Immunity Debugger (1.8, new PyCommands, x86smt e. g.) show, that abstract analysis tools can help in vulnerability discovery and exploit development. These tools and extensions use formal techniques. (more here: http://www.unprotectedhex.com/psv/index.php/Main_Page) In this talk I explain backgrounds, like what SMT e. g. is, how it is used, and cover background information. I keep it very near to hands-on development to build a bridge so that more people can practically take advantage of the concepts. The title Intermediate Reversing associates to build an "intermediate" logic-layer and and use formal logics. Remembering this again isn't too bad, is it :) And finally it becomes useful for hacking. See you in Berlin soon! Best, Marius