BINSEC is an open-source toolset to help improve software security at the binary level. It relies on cutting-edge research in binary code analysis, at the intersection of formal methods, program analysis, security and software engineering. It is powered up by state-of-the-art techniques such as binary-level formal methods, symbolic execution, abstract interpretation, SMT solving and fuzzing.
BINSEC has been successfully applied in a number of security-related contexts, such as vulnerability finding, (malware) deobfuscation, decompilation, formal verification of assembly code or even binary-level formal verification.
Benjamin Farinier, a former PhD student in the team and now a postdoc at TUVienna, has won the GDR GPL 2020 best PhD award for his work on Decision Procedures for Vulnerability Analysis.
Proud that our paper “Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference” has been accepted at CAV’21.
Proud that our paper “Search-based Local Blackbox Deobfuscation: Understand, Improve and Mitigate” has been accepted at CCS’21.