Symbolic Execution Demystified by Jannis Kirschner
Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
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
hardwear.io·44 min
Presenters detail vulnerability discovery and exploitation in 2017:- Flip A Bit, Grab A Key: Symbolic Execution Edition by Jasper van Woudenberg.
symbolic-executionflipgrab+2
IEEE Symposium on Security and Privacy·16 min
Security researchers examine technical aspects of Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
symbolic-executionbinsecefficient+3