Symbexcel: Bringing the Power of Symbolic Execution to the Fight Against Malicious Excel 4 Macros

Giovanni VignaNicola RuaroFabio PaganiStefano Ortolani

HardwareBlack Hat35 minAdvanced Open on YouTube ↗

Presenters detail vulnerability discovery and exploitation in Symbexcel: Bringing the Power of Symbolic Execution to the Fight Against Malicious Excel 4 Macros.

Summary

Symbexcel applies symbolic execution to fight malicious Excel 4 macros.

Related talks

Videos·45 min

COMMUNITY
Hardware
Date: 2025
Location: Community

Symbolic Execution Demystified by Jannis Kirschner

Security researchers examine technical aspects of Symbolic Execution Demystified by Jannis Kirschner.

symbolic-executionsymbolicexecution+3

hardwear.io·44 min

HARDWEAR
Hardware
Date: 2025
Location: Hardwear

2017:- Flip A Bit, Grab A Key: Symbolic Execution Edition by Jasper van Woudenberg

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

IEEE SP
Hardware
Date: 2025
Location: Ieee Sp

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.

symbolic-executionbinsecefficient+3