There are no reviews yet. Be the first to send feedback to the community and the maintainers!
binsec
BINSEC binary-level open-source platformxyntia
Xyntia, the black-box deobfuscatorRel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.klee21-tina-artifact
TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semantically equivalent C code amenable to verification, in order to take advantage of existing C analyzers.haunted
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.icse2021-artifact992
rtas2021_artifact
haunted_bench
Benchmarks for Binsec/Rel tool.binsec.github.io
www presence for the BINSEC binary-level analysis open-source platformrel_bench
Benchmark (mostly cryptographic programs) for Binsec/Rel.hade
tfml
cav2021-artifacts
esop2023_artefact
xtrasec
A (simple) PIN-based tracer for BINSECunisim_archisec
OCaml binding for the external UNISIM DBA decoderLove Open Source and this site? Check out how you can help us