Felipe Manzano - A symbolic execution engine for amd64 binaries
Presents felipe Manzano - A symbolic execution engine for amd64 binaries and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Videos·45 min
Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.
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.
Ekoparty Security Conference·48 min
Felipe Manzano · Josselin Feist
Examines felipe Manzano & Josselin Feist - Automatic bugfinding for the blockchain and evaluates key implications for security practitioners.