lowRISC / manticoreLinks
☆16Updated 3 years ago
Alternatives and similar repositories for manticore
Users that are interested in manticore are comparing it to the libraries listed below
Sorting:
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆14Updated last year
- RISC-V Configuration Structure☆38Updated 7 months ago
- Library for AMD SEV☆20Updated 3 years ago
- Sail code model of the CHERIoT ISA☆38Updated last week
- Notary: A Device for Secure Transaction Approval 📟☆28Updated 4 months ago
- QEMU with support for CHERI☆58Updated last month
- CHERI-RISC-V model written in Sail☆59Updated last month
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆68Updated last week
- [HISTORICAL] FIPS and higher-level algorithm tests for RISC-V Crypto Extension☆27Updated 10 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Easy SMT solver interaction☆35Updated 2 months ago
- Risc-V hypervisor for TEE development☆116Updated 2 weeks ago
- Ports of Tock OS to Titan chips.☆55Updated 2 years ago
- Framework for building transparent memory encryption and authentication solutions☆27Updated 6 years ago
- Rust RISC-V Virtual Machine☆104Updated 6 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆155Updated this week
- Symbolic execution tool for Sail ISA specifications☆67Updated last week
- Testing processors with Random Instruction Generation☆37Updated last month
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- A computer for human beings.☆44Updated 6 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated 11 months ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆33Updated 4 months ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆22Updated last week
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆18Updated last month
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆12Updated last week
- program analysis for machine code☆35Updated 3 years ago
- CHERI ISA Specification☆24Updated 10 months ago