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
manzano
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
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.
blockchainfelipemanzano+2