Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Security researchers examine technical aspects of Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·21 min
Presenters detail vulnerability discovery and exploitation in SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation.
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.