A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
☆67Aug 7, 2024Updated last year
Alternatives and similar repositories for SentinelBoot
Users that are interested in SentinelBoot are comparing it to the libraries listed below
Sorting:
- A tool to check microsofts user real endpoint to get data about a tenant.☆16Feb 6, 2025Updated last year
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated last month
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 6 years ago
- Official implementation of paper "HiAE: A High-Throughput Authenticated Encryption Algorithm for Cross-Platfor Efficiency"☆19Nov 11, 2025Updated 4 months ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated 3 weeks ago
- `smol` integrations with `hyper`☆17Feb 16, 2026Updated last month
- Ergonomic and composable async stream generation without macros☆26Feb 17, 2026Updated last month
- A new DNS proxy designed for simplicity, security and extensibility with WebAssembly plugins.☆77Feb 5, 2026Updated last month
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last month
- A Rust recreation of the classic 1968 BASIC game Hammurabi with a modern TUI☆23Jun 18, 2025Updated 9 months ago
- ☆11Aug 31, 2023Updated 2 years ago
- Atlassian Companion RCE Vulnerability Proof of Concept☆25Dec 15, 2023Updated 2 years ago
- Protobuf with pizzazz☆20Sep 9, 2024Updated last year
- Reverse engineering the TI AM3358 boot ROM☆60Aug 25, 2024Updated last year
- A libre metrically-equivalent replacement for Comic Sans MS☆31May 7, 2025Updated 10 months ago
- A minimalist text editor☆10Nov 12, 2023Updated 2 years ago
- A DNS administration toolbox including re-implementations of important ldns programs☆36Mar 13, 2026Updated last week
- 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
- speedy web micro-framework using sled, io_uring and SIMD☆13Feb 8, 2020Updated 6 years ago
- Exploit for CVE-2024-3273, supports single and multiple hosts☆13Apr 7, 2024Updated last year
- exfiltration/infiltration toolkit☆23Dec 20, 2023Updated 2 years ago
- State machine pattern for Rust☆29Oct 31, 2024Updated last year
- JavaScript XAES-256-GCM implementation using Web Cryptography API☆13Jul 9, 2024Updated last year
- UB-free and deterministic rustc fuzzer☆99Dec 21, 2025Updated 2 months ago
- Kwarantine can run strongly isolated containers in a multi-tenant setting☆23Dec 11, 2024Updated last year
- 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
- Utilities for enhanced slicing and indexing☆30Apr 15, 2023Updated 2 years ago
- A portable library implementing NIST SP 800-90A DRBGs☆18Nov 25, 2025Updated 3 months ago
- Scan strings or files for malware using the Windows Antimalware Scan Interface☆30Mar 24, 2023Updated 2 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- Documentation on the Xous operating system☆43Jan 18, 2026Updated 2 months ago
- ALPChecker - a tool to detect spoofing and blinding attacks on the ALPC interaction☆13Feb 13, 2023Updated 3 years ago
- ☆21Feb 26, 2026Updated 3 weeks ago
- Go library to define type-safe host functions in wazero and other WebAssembly runtimes.☆24Oct 3, 2025Updated 5 months ago
- Stay updated with the latest versions of your essential software!☆23May 9, 2025Updated 10 months ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 6 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☆22Mar 11, 2026Updated last week