Skip to content
@binsec

BINSEC development team

Pinned Loading

  1. binsec binsec Public

    BINSEC binary-level open-source platform

    OCaml 330 34

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

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

    Sass 6 9

  3. xtrasec xtrasec Public

    A (simple) PIN-based tracer for BINSEC

    C++ 1

Repositories

Showing 10 of 24 repositories
  • rosarum Public

    A novel backdoor detection benchmark

    binsec/rosarum’s past year of commit activity
    C 2 0 0 0 Updated Jan 23, 2025
  • rosa Public

    ROSA: Finding Backdoors with Fuzzing

    binsec/rosa’s past year of commit activity
    Rust 6 LGPL-2.1 0 0 0 Updated Jan 23, 2025
  • 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 9 0 0 Updated Dec 17, 2024
  • unisim_archisec Public

    OCaml binding for the external UNISIM DBA decoder

    binsec/unisim_archisec’s past year of commit activity
    C++ 2 2 2 1 Updated Sep 13, 2024
  • binsec Public

    BINSEC binary-level open-source platform

    binsec/binsec’s past year of commit activity
    OCaml 330 LGPL-2.1 34 9 1 Updated Aug 1, 2024
  • preca Public

    Constraint acquisition based precondition learner

    binsec/preca’s past year of commit activity
    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.

    binsec/haunted’s past year of commit activity
    OCaml 16 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.

    binsec/Rel’s past year of commit activity
    OCaml 33 LGPL-2.1 2 1 1 Updated Sep 22, 2023
  • esop2023_artefact Public
    binsec/esop2023_artefact’s past year of commit activity
    1 GPL-3.0 0 0 0 Updated Jun 1, 2023
  • dca Public

    Disjunctive Constraint Acquisition

    binsec/dca’s past year of commit activity
    0 LGPL-2.1 0 0 0 Updated May 25, 2023
View all repositories

Most used topics

Loading…