Triton and Symbolic Execution on GDB

Presented at DEF CON China Beta (2018), May 11, 2018, 4 p.m. (60 minutes).

I Introduce the concept of symbolic execution and Triton. (https://github.com/JonathanSalwan/Triton). Detailed steps of how I design and develop SymGDB(https://github.com/SQLab/symgdb). I Will also explain the architecture design, what kind of problem I met, and how to debug when I develope SymGDB. At the end, compare the differences between Triton and other symbolic execution framework.

Presenters:

• Weibo Chen
  Weibo Chen, is Co-founder of NCTUCSC(https://www.facebook.com/NCTUCSC/) and member of Bamboofox CTF team. Recently, he got his master degree from National Chiao Tung University. He focuses on symbolic execution and binary exploit. His passion is for security education and security research. He loves to share knowledge with other people.

Links:

• https://defcon.org/html/defcon-china/dc-cn-speakers.html#Chen
• https://infocon.org/cons/DEF CON/DEF CON China beta/DEF CON China beta videos/DEF CON China beta - Weibo Chen - Triton and Symbolic Execution on GDB (cn).mp4

Similar Presentations:

• BSides Austin 2016 / WORKSHOP: Symbolic Execution: No need to be angr-y
• DEF CON 26 (2018) / Through the Eyes of the Attacker: Designing Embedded Systems Exploits for Industrial Control Systems
• Black Hat USA 2018 / TRITON: How it Disrupted Safety Systems and Changed the Threat Landscape of Industrial Control Systems, Forever