Math is you friend

Presented at ToorCon San Diego 18 (2016), Oct. 16, 2016, noon (20 minutes)

Over the years SMT, Satisfiability Modulo Theories, has become more prevalent in usage on finding flaws and exploitable conditions. I want to show the audience how I used SMT libraries, mostly z3, to do what took weeks using pencil and paper….and of course, Calc.exe.


  • vesh
    Director at root9B, previously senior researcher at SRI and various other entities. Had a company, sold a company - mostly just the IP from the company.

Similar Presentations: