Skip to content
@binsec

BINSEC development team

Pinned

  1. binsec binsec Public

    BINSEC binary-level open-source platform

    OCaml 310 34

  2. binsec.github.io binsec.github.io Public

    www presence for the BINSEC binary-level analysis open-source platform

    Sass 4 8

  3. xtrasec xtrasec Public

    A (simple) PIN-based tracer for BINSEC

    C++ 1

Repositories

Showing 10 of 22 repositories
  • binsec Public

    BINSEC binary-level open-source platform

    OCaml 310 LGPL-2.1 34 7 1 Updated May 21, 2024
  • unisim_archisec Public

    OCaml binding for the external UNISIM DBA decoder

    C++ 2 1 1 1 Updated May 13, 2024
  • binsec.github.io Public

    www presence for the BINSEC binary-level analysis open-source platform

    Sass 4 8 0 0 Updated May 13, 2024
  • preca Public

    Constraint acquisition based precondition learner

    Java 5 LGPL-2.1 2 0 0 Updated Dec 4, 2023
  • haunted Public

    Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

    OCaml 15 LGPL-2.1 1 1 0 Updated Oct 19, 2023
  • Rel Public

    Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

    OCaml 32 LGPL-2.1 2 1 1 Updated Sep 22, 2023
  • esop2023_artefact Public
    1 GPL-3.0 0 0 0 Updated Jun 1, 2023
  • dca Public

    Disjunctive Constraint Acquisition

    0 LGPL-2.1 0 0 0 Updated May 25, 2023
  • binsec-ase Public
    OCaml 0 LGPL-2.1 0 0 0 Updated Jan 26, 2023
  • xyntia Public

    Xyntia, the black-box deobfuscator

    OCaml 59 2 1 0 Updated Dec 16, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…