Alternatives and similar repositories for manticore:

Users that are interested in manticore are comparing it to the libraries listed below

• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 3 years ago
• riscv / configuration-structure
  RISC-V Configuration Structure
  ☆38Updated 6 months ago
• stefanpie / sa-placer
  ☆14Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆58Updated 3 weeks ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 3 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆61Updated 10 months ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• chipsalliance / caliptra-mcu-sw
  Caliptra MCU Software
  ☆13Updated this week
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• enarx-archive / sev
  Library for AMD SEV
  ☆20Updated 3 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• PLSysSec / haybale-pitchfork
  Verifying constant-time code with symbolic execution
  ☆42Updated 3 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆58Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated last week
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 8 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated last month
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 2 years ago
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆67Updated this week
• isec-tugraz / memsec
  Framework for building transparent memory encryption and authentication solutions
  ☆27Updated 6 years ago
• google / minetest_pnr
  Place & Router for Minetest
  ☆18Updated 2 years ago
• google / tock-on-titan
  Ports of Tock OS to Titan chips.
  ☆55Updated 2 years ago
• jedisct1 / nonce-extension
  Make AES-GCM safe to use with random nonces, for any practical number of messages.
  ☆18Updated last year
• CTSRD-CHERI / cheri-specification
  CHERI ISA Specification
  ☆24Updated 9 months ago
• pornin / cycle-counter
  ☆22Updated 4 months ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆17Updated last year