Black Hat·51 min
Presenters detail vulnerability discovery and exploitation in Code Deobfuscation: Intertwining Dynamic, Static and Symbolic Approaches.
deobfuscationcodeintertwining+3
symbolic
17 talks tagged with this topic.
Filters+
Loading filters…
1–17 of 17 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.
symbolic-executionsymbexcelbringing+2
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
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
HITCON·41 min
Symbolic execution on GDB
Analysts investigate attack surfaces and defenses concerning [HITCON CMT 2017] R0D202 - 陳威伯 - Triton and Symbolic execution on GDB.
symbolic-executionhitconr0d202+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
IEEE Symposium on Security and Privacy·17 min
Analysts investigate attack surfaces and defenses concerning CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.
casymcacheaware+2
IEEE Symposium on Security and Privacy·13 min
Iyoung Sang Kang
Security researchers examine technical aspects of QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.
queryxsymbolicquery+3
IEEE Symposium on Security and Privacy·16 min
Eric Chen · Jay Lorch · Rui Wang
Engineers explore architecture and security mechanisms for Securing Multiparty Online Services Via Certification of Symbolic Transactions.
certificationmultipartyonline+2
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.
symbolic-executionsymcertpractical+3
SEC-T·16 min
Security researchers examine technical aspects of 0x0B: Calle Svensson - Fun with symbolic execution.
symbolic-executioncallesvensson+2
The Linux Foundation·26 min
Susan Steinman · Alexandre Rostovtsev
Analyzes symbolic Macros and Rule Finalizers and evaluates key implications for security practitioners.
symbolicmacrorule+2
Videos·45 min
Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.
symbolic-executionsymbolicexecution+3
Hacktivity - IT Security Festival·42 min
Anto Joseph
Presenters detail vulnerability discovery and exploitation in Anto Joseph - Bug hunting using symbolic virtual machines.
antojosephhunting+3
IEEE Symposium on Security and Privacy·20 min
Security researchers examine technical aspects of 483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck.
pandoraprincipledsymbolic+3
x33fcon·51 min
Analysts investigate attack surfaces and defenses concerning 06. Upping Your Bug Hunting Skills Using Symbolic Virtual Machines by Anto.
uppinghuntingsymbolic+1
BSides Knoxville·52 min
Symbolic Execution
Chris Craig - Educated Guesses with Symbolic Execution.
symbolic-executionchricraig+3