jeremysinger / capabilitiesforcodersLinks
Open-source textbook about CHERI capabilities, for a developer audience
☆16Updated last month
Alternatives and similar repositories for capabilitiesforcoders
Users that are interested in capabilitiesforcoders are comparing it to the libraries listed below
Sorting:
- Unikraft port of the lwip network stack☆14Updated 2 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆28Updated this week
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Updated 2 years ago
- Caliptra MCU Software☆16Updated this week
- A tool for formally verifying constant-time software against hardware 🕰️☆12Updated 5 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆127Updated last week
- Fork of Rust adding CHERI support☆12Updated 3 months ago
- Easy SMT solver interaction☆35Updated 3 months ago
- Verifying OpenTitan☆26Updated last year
- AArch64 assembly Language Server. This is a mirror repository.☆16Updated 3 months ago
- A benchmark for standalone WebAssembly☆33Updated 11 months ago
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆35Updated 5 months ago
- Little Endian Base 128 converters☆9Updated 8 years ago
- wasi-parallel is a proposal to add a parallel for construct to WASI.☆23Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆170Updated this week
- ☆17Updated 3 years ago
- view based o.s.☆41Updated 2 months ago
- Actor-based Runtime Verification Tool☆18Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- Rutgers APL correctly rounded math library☆30Updated 4 years ago
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆41Updated this week
- Debugging WebAssembly? Put some Whamm! on it.☆33Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 7 months ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Updated 3 months ago
- A virtual machine and toolchain for a MIPS-like architecture based on balanced ternary arithmetic☆9Updated 2 years ago
- Sail code model of the CHERIoT ISA☆39Updated last month