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.

Presenters:

• zv
  A tri-brained unix philosophy radical.

Links:

• https://frab.toorcon.net/en/toorcon20/public/events/112.html
• https://infocon.org/cons/ToorCon/ToorCon XX - 2018/Symbolic Computing, Moving On Up. - Zv.mp4
• https://infocon.org/cons/ToorCon/ToorCon XX - 2018/Symbolic Computing, Moving On Up. - Zv.Eng.srt (subtitles)
• https://www.youtube.com/watch?v=_OKJQmvcP_o

Similar Presentations:

• REcon 2022 / Reverse engineering of black-box binaries with symbolic and concolic execution techniques
• DEF CON China Beta (2018) / Triton and Symbolic Execution on GDB
• BSides Austin 2016 / WORKSHOP: Symbolic Execution: No need to be angr-y