BINSEC development team

PinnedLoading

binsecbinsecPublic
BINSEC binary-level open-source platform
OCaml 341 36
binsec.github.iobinsec.github.ioPublic
www presence for the BINSEC binary-level analysis open-source platform
Sass 6 10
xtrasecxtrasecPublic
A (simple) PIN-based tracer for BINSEC
C++ 1

Repositories

Showing 10 of 24 repositories

binsec.github.io Public
www presence for the BINSEC binary-level analysis open-source platform
binsec/binsec.github.io’s past year of commit activity
Sass 6 10 0 0 UpdatedMar 19, 2025
xyntia Public
Xyntia, the black-box deobfuscator
binsec/xyntia’s past year of commit activity
OCaml 65 2 1 0 UpdatedMar 18, 2025
unisim_archisec Public
OCaml binding for the external UNISIM DBA decoder
binsec/unisim_archisec’s past year of commit activity
C++ 2 2 1 0 UpdatedMar 14, 2025
rosarum Public
A novel backdoor detection benchmark
binsec/rosarum’s past year of commit activity
C 40 0 0 UpdatedMar 3, 2025
rosa Public
ROSA: Finding Backdoors with Fuzzing
binsec/rosa’s past year of commit activity
Rust 17LGPL-2.10 0 0 UpdatedMar 3, 2025
binsec Public
BINSEC binary-level open-source platform
binsec/binsec’s past year of commit activity
OCaml 341LGPL-2.1 36 5 1 UpdatedFeb 17, 2025
Rel Public
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
binsec/Rel’s past year of commit activity
OCaml 33LGPL-2.1 2 1 0 UpdatedJan 25, 2025
preca Public
Constraint acquisition based precondition learner
binsec/preca’s past year of commit activity
Java 5LGPL-2.1 2 0 0 UpdatedDec 4, 2023
haunted Public
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
binsec/haunted’s past year of commit activity
OCaml 16LGPL-2.1 1 1 0 UpdatedOct 19, 2023
esop2023_artefact Public
binsec/esop2023_artefact’s past year of commit activity
1GPL-3.00 0 0 UpdatedJun 1, 2023