Welcome to Diana Initiative 2021 Virtual Conference schedule.
For more information, please see our virtual conference page here :
Back To Schedule
Saturday, July 17 • 10:00am - 11:00am
Work SMTer Not Harder - Concolic Execution for CTF

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Advanced binary analysis tools are gaining in popularity among CTF players, however there can be a steep learning curve to incorporating them into use. In this introduction to the power of concolic execution and satisfiability modulo theories (SMT) solvers, we will cover angr, an open-source binary analysis framework, and Z3, an SMT solver. This talk will give background on these tools and how they can each be applied to easy and advanced reverse engineering CTF problems. Audience members will walk away with an understanding of the technology behind these tools, how they can be applied to CTF problems as well as the foundation to continue their knowledge growth in this area.

avatar for Christina   Johns

Christina Johns

Lead Cybersecurity Engineer, MITRE
Christina Johns is a Cybersecurity Engineer at MITRE with over 10 years of experience. She has worked in a variety of areas including web application assessment, android forensics, incident response and most recently reverse engineering. Her research interests lie at the intersection... Read More →

Saturday July 17, 2021 10:00am - 11:00am PDT
Stage 1 https://app.hopin.com/events/2021-diana-initative/stages/ff71ae75-41d8-4546-b361-9883c22d8b13