Loading…
Back To Schedule
Wednesday, April 28 • 3:00pm - 3:55pm
Educated Guesses with Symbolic Execution: Using Constraint Solvers for Speculative Execution in Modern Firmware

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

Tweet Share


Symbolic Execution is a useful way to perform static and dynamic analysis but is underutilized by security professionals. I hope to expose more people to this awesome tool and demonstrate its utility in finding bugs and "rehosting" firmware.
Speakers
avatar for Chris Craig

Chris Craig

Cyber Security Software Engineer, ORNL
Christopher Craig is a Cyber Security Software Engineer in the Vulnerability Research Group at Oak Ridge National Laboratory. He received a B.S. and M.S. in Computer Science from the University of Tennessee in 2011 and 2018 respectively and has 9 years of experience in the field of... Read More →

SymbolicExecution pdf
Wednesday April 28, 2021 3:00pm - 3:55pm EDT
Virtual
  Track2, Intermediate

Attendees (24)