Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
☆34Jan 25, 2025Updated last year
Alternatives and similar repositories for Rel
Users that are interested in Rel are comparing it to the libraries listed below
Sorting:
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 years ago
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 4 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Mar 7, 2021Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Jan 9, 2022Updated 4 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- BINSEC binary-level open-source platform☆395Jan 7, 2026Updated last month
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Microsite for the MirageOS hack retreats☆13Dec 4, 2025Updated 2 months ago
- A set of tools to work with Gameboy stuff☆13Dec 4, 2022Updated 3 years ago
- Xen core platform libraries for MirageOS☆18Feb 5, 2025Updated last year
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 8 years ago
- Corpora used to seed NSS' fuzzing targets☆10Feb 15, 2026Updated last week
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- Broadcom Bluetooth Tools☆15Feb 20, 2018Updated 8 years ago
- Ocamldap is an implementation of the Light Weight Directory Access Protocol☆15Dec 8, 2025Updated 2 months ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated last year
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- auto-ropper☆17Jul 7, 2022Updated 3 years ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 3 months ago
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 years ago
- telnet protocol in OCaml☆14Nov 15, 2016Updated 9 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- A Btree library in OCaml☆18Mar 30, 2023Updated 2 years ago
- Automatic Vulnerability Discovery☆38Mar 30, 2019Updated 6 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 3 years ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 3 years ago