, 2008-05-15
In the information-security industry, there are clear and vast gaps in the way academia interacts with professional researchers. While these gaps will be filled in due time, their existence means that security professionals outside the hallowed halls of colleges and universities need to be aware of the differences in how researchers and professionals think.
Halvar
http://media.blackhat.com/bh-usa-06/video/2006_BlackHat_Vega
s-V7-Halvar_Flake-Need_New_Tools.mp4
Starts at minute 27, Challenge #5. Describes generating equation systems from program paths and feeding them to a SAT solver to be solved (which is roughly what APEG does).
This is j...
[ more ]