Chris Craig - Educated Guesses with Symbolic Execution
Chris Craig - Educated Guesses with Symbolic Execution.
Summary
Explores educated guesses using symbolic execution techniques.
Related talks
Videos·45 min
Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.
symbolic-executionsymbolicexecution+3
Black Hat·35 min
Giovanni Vigna · Nicola Ruaro · Fabio Pagani · Stefano Ortolani
Presenters detail vulnerability discovery and exploitation in Symbexcel: Bringing the Power of Symbolic Execution to the Fight Against Malicious Excel 4 Macros.
symbolic-executionsymbexcelbringing+2
Ekoparty Security Conference·33 min
Felipe Manzano
Presents felipe Manzano - A symbolic execution engine for amd64 binaries and evaluates key implications for security practitioners.
symbolic-executionfelipemanzano+2