Starred repositories
A set of increasingly complex cryptographic proofs for simple symmetric primitives, to be formalised in various formal verification tools.
An Emacs-style scratch buffer for executing Lua inside Neovim
Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
An incremental, gamified introduction to Rust and computer science fundamentals
DavidBuchanan314 / slopCTF
Forked from Kazedaa/eBAFThis repo, apparently written by AI, contains root LPE in its default config
You can have a silly GitHub repo, as a treat.
An Arduino API that sits on top of Linux and other operating systems. This lets you run Arduino code on Raspberry PI, desktops, etc... All as a standard user-space application.
A secure embedded operating system for microcontrollers
Hybrid PQ/T Key Encapsulation Mechanisms
Armory Drive - USB encrypted drive with mobile unlock over BLE
Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Convert SSH Ed25519 keys to age keys. This is useful for usage in sops-nix and sops.
The Treadmill Hardware Testbed Software Stack
My experiments in weaponizing Nim (https://nim-lang.org/)
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.