Thais Moreira - SMT Solvers - H2HC University 2017
▶Thais Moreira - SMT Solvers - H2HC University 2017 — a 2017 Hackers 2 Hackers Conference (H2HC) security conference talk on reverse-engineering (59:36 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube