A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆67Mar 29, 2026Updated last month
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:
- A tool to check microsofts user real endpoint to get data about a tenant.☆16Feb 6, 2025Updated last year
- 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 6 months ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated 2 months ago
- `smol` integrations with `hyper`☆17Feb 16, 2026Updated 2 months ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A pure Rust implementation of the GNU Recutils format☆28Apr 15, 2018Updated 8 years ago
- A new DNS proxy designed for simplicity, security and extensibility with WebAssembly plugins.☆78Apr 19, 2026Updated last week
- Bottom-up memory-safety for assembly language using symbolic execution☆18Feb 19, 2026Updated 2 months ago
- Native simulator☆46Updated this week
- ☆11Aug 31, 2023Updated 2 years ago
- Atlassian Companion RCE Vulnerability Proof of Concept☆25Dec 15, 2023Updated 2 years ago
- Reverse engineering the TI AM3358 boot ROM☆62Aug 25, 2024Updated last year
- A libre metrically-equivalent replacement for Comic Sans MS☆31May 7, 2025Updated 11 months ago
- A DNS administration toolbox including re-implementations of important ldns programs☆36Apr 13, 2026Updated 2 weeks ago
- 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.
- just for fun☆18Jan 21, 2025Updated last year
- PackageSpy is a versatile command-line tool designed to simplify the process of searching for packages on two popular package managers☆22Jun 19, 2024Updated last year
- Exploit for CVE-2024-3273, supports single and multiple hosts☆13Apr 7, 2024Updated 2 years ago
- speedy web micro-framework using sled, io_uring and SIMD☆13Feb 8, 2020Updated 6 years ago
- A C# Tool to gather information about email breaches☆16Dec 21, 2023Updated 2 years ago
- State machine pattern for Rust☆29Oct 31, 2024Updated last year
- ☆15Mar 11, 2024Updated 2 years ago
- Simple Script to list archwiki in a listing menu. Depends on arch-wiki-docs☆22Aug 12, 2023Updated 2 years ago
- CVE-2023-20273 Exploit PoC☆14Apr 1, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Offensive cybersecurity toolkit for vulnerability analysis and penetration testing of OBD-II devices.☆29Sep 23, 2025Updated 7 months ago
- UB-free and deterministic rustc fuzzer☆102Dec 21, 2025Updated 4 months 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
- Pure Golang implementation of clevis encryption framework☆30Mar 14, 2026Updated last month
- A portable library implementing NIST SP 800-90A DRBGs☆18Nov 25, 2025Updated 5 months ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 4 months ago
- ALPChecker - a tool to detect spoofing and blinding attacks on the ALPC interaction☆13Feb 13, 2023Updated 3 years ago
- ☆22Updated this week
- This repository contains a graphical representation (Mind maps) of specific topics, so one can utilize it as a handbook for that specific…☆17Feb 10, 2022Updated 4 years ago
- 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.
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Oct 3, 2025Updated 6 months ago
- Stay updated with the latest versions of your essential software!☆23May 9, 2025Updated 11 months ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated last year
- Implementation of the Covercrypt attributes based encryption algorithm☆23Mar 11, 2026Updated last month
- An Operating System for Building Small Computers☆307Jan 21, 2025Updated last year
- ☆47Sep 25, 2020Updated 5 years ago