Symbolic Computing, Moving On Up.

Presented at ToorCon San Diego 20 (2018), Sept. 15, 2018, 2 p.m. (50 minutes)

This talk presents real world application of solvers for checking code, as well as some discussion about tools that can be used and the history of symbolic execution. Symbolic execution is a useful approach for a variety of problems from solving puzzles to discovering vulnerabilities. It is show and tell time.


  • zv
    A tri-brained unix philosophy radical.


Similar Presentations: