18 talks tagged with this topic.
Loading filters…
1–18 of 18 talks · loading…
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.
CODE BLUE·32 min
Analysts investigate attack surfaces and defenses concerning [CB23]Enhanced Vulnerability Hunting in WDM Drivers with Symbolic Execution and Taint Analysis.
Ekoparty Security Conference·33 min
Felipe Manzano
Presents felipe Manzano - A symbolic execution engine for amd64 binaries and evaluates key implications for security practitioners.
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.
HITCON·41 min
Symbolic execution on GDB
Analysts investigate attack surfaces and defenses concerning [HITCON CMT 2017] R0D202 - 陳威伯 - Triton and Symbolic execution on GDB.
HITCON·47 min
Analysts investigate attack surfaces and defenses concerning CRAX++: Modular Exploit Generator using Dynamic Symbolic Execution｜HITCON PEACE 2022.
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.
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.
SEC-T·16 min
Security researchers examine technical aspects of 0x0B: Calle Svensson - Fun with symbolic execution.
Videos·45 min
Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.
CODE BLUE 2024·34 min
Symbolic Execution.
Presenters detail vulnerability discovery and exploitation in [CB24]1-Click-Fuzz：Systematically Fuzzing the Windows Kernel Driver with Symbolic Execution..
Hack In The Box Security Conference·57 min
Mathy Vanhoef
Mathy Vanhoef details #HITB2018DXB D1T1: Rooting Routers Using Symbolic Execution.
Hack In The Box Security Conference·50 min
KJ Lau · Kong
KJ Lau examines #HITB2021AMS D1T2 - When Qiling Framework Meets Symbolic Execution.
S4x24·21 min
DAST Symbolic Execution
Reviews risk Prioritization With SAST/DAST Symbolic Execution and evaluates key implications for security practitioners.
BSides Knoxville·52 min
Symbolic Execution
Chris Craig - Educated Guesses with Symbolic Execution.
Main Stage·51 min
Shellphish
The Shellphish team shares architectural details of Mechanical Phish, their autonomous Cyber Grand Challenge system for vulnerability discovery and binary patching.
Main Stage·46 min
Yan Shoshitaishvili · Fish Wang
Yan Shoshitaishvili and Fish Wang introduce angr, the open-source binary analysis platform combining symbolic execution and static analysis for automated vulnerability research.
Main Stage·42 min
Atlas
Atlas showcases Symboliks, an intermediate representation and symbolic execution library designed to simplify reverse engineering and automated exploit derivation.
