A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆67Jul 17, 2026Updated 3 months ago
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated last year
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- A tool to check microsofts user real endpoint to get data about a tenant.☆17Feb 6, 2025Updated last year
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 7 years ago
- A repository of tools for verifying constant-timeness☆20Feb 4, 2026Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple, yet very flexible static site generator.☆13May 6, 2026Updated 5 months ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆19May 27, 2026Updated 5 months ago
- ☆14Feb 3, 2026Updated 8 months ago
- facet-based JIT (de)serialization for Rust☆19Apr 16, 2026Updated 6 months ago
- Post-Quantum Algorithms for HPKE☆13Jul 6, 2026Updated 3 months ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆17Mar 29, 2024Updated 2 years ago
- Rust tools for working with UEFI SBAT☆20Oct 7, 2026Updated 3 weeks ago
- HTTP benchmark client written in Rust, supporting HTTP/1.1, HTTP/2, and HTTP/3 (QUIC) with commandline mode and distributed mode.☆22Mar 2, 2026Updated 7 months ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13May 7, 2026Updated 5 months ago
- [MIGRATED] Ergonomic and composable async stream generation without macros☆26Feb 17, 2026Updated 8 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- A kernel for ProkaOS☆13Oct 23, 2026Updated last week
- PackageSpy is a versatile command-line tool designed to simplify the process of searching for packages on two popular package managers☆21Jun 19, 2024Updated 2 years ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A minimalist text editor☆10Nov 12, 2023Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- ☆21May 30, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Clone/fork of “Sample Neufeld ASN.1 to C Compiler”, as used by mhegenc☆25Jun 16, 2020Updated 6 years ago
- Modeling futexes in TLA+☆21Oct 6, 2024Updated 2 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆13Feb 8, 2020Updated 6 years ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- Schema agnostic protobuf decoder tool☆15Jun 4, 2022Updated 4 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆36Mar 13, 2026Updated 7 months ago
- ☆22Oct 19, 2026Updated last week
- An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…☆814Jun 21, 2025Updated last year
- JavaScript XAES-256-GCM implementation using Web Cryptography API☆14Jul 9, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- ☆16Mar 11, 2024Updated 2 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.☆14Jun 26, 2020Updated 6 years ago
- Implementation of Prio in Rust.☆122Updated this week
- CVE-2023-20273 Exploit PoC☆15Apr 1, 2024Updated 2 years ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 3 years ago