Fun with Symboliks

Presented at DEF CON 23 (2015), Aug. 7, 2015, 5 p.m. (60 minutes)

Asking the hard questions... and getting answer! Oh binary, where art thine vulns? Symbolic analysis has been a "thing" for 20 years, and yet it's still left largely to the obscure and the academic researchers (and NASA). several years ago, Invisigoth incorporated the Symboliks subsystem into the Vivisect binary analysis framework. due to that inclusion, the very nature of binary analysis has been broken down, rethought, and arisen out of the ashes. this talk will give an introduction into Symboliks, Graph Theory, and the path forward for reverse engineering and vulnerability research, all from an interactive Python session or scripts.

Presenters:

• Gavin Mead / atlas - dude at Grimm   as atlas
  A four time winner of DEF CON capture the flag and retired captain of the team "1@stplace", over the past decade atlas has proved expertise in programmatic reverse-engineering, automated vulnerability discovery and exploitation, and braking into or out of nearly every type of computer system/subsystem. areas of specialty include exmpedded/IoT exploitation, power systems and industrial control systems exploitation, automotive exploitation, and client/server/application exploitation. Twitter: @at1as

Links:

• https://defcon.org/html/defcon-23/dc-23-speakers.html#atlas
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 slides/DEF CON 23 - atlas - Fun with Symboliks - Slides.mp4
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 video/DEF CON 23 - atlas - Fun with Symboliks - Video.mp4
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 slides/DEF CON 23 - atlas - Fun with Symboliks - Slides.srt (subtitles)
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 video and slides/DEF CON 23 - atlas - Fun with Symboliks - Video and Slides.srt (subtitles)
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 video/DEF CON 23 - atlas - Fun with Symboliks - Video.srt (subtitles)
• https://infocon.org/cons/DEF CON/DEF CON 23/DEF CON 23 video and slides/DEF CON 23 - atlas - Fun with Symboliks - Video and Slides.mp4 (Video and Slides)
• https://www.youtube.com/watch?v=9HL6MljOX0o

Similar Presentations:

• HOPE 2020 Virtual Rescheduled / Defend Your Own System Through Binary Recompilation
• Black Hat USA 2013 / How to Grow a TREE (Taint-enabled Reverse Engineering Environment) From CBASS (Cross-platform Binary Automated Symbolic-execution System)
• The Fifth HOPE (2004) / Security Through Automated Binary Analysis