

Immutable Linux OS image optimized for running Incus containers and virtual machines, with UEFI Secure Boot, TPM 2.0 disk encryption, and automated…

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS…

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Gentoo overlay for security tools as well as the heart of the Pentoo Livecd

Lan Tian's NixOS Configuration

EMBA - The firmware security analyzer

Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation | Always up-to-date and works with the latest build…

Hardware tool for RFID analysis, emulation, and penetration testing. Supports 125kHz, 13.56MHz protocols (MIFARE, iClass, ISO14443/15693) with key…

Modern WiFi auditing library for ESP32 using advanced 802.11 techniques. Captures WPA/WPA2/WPA3 handshakes via PMKID extraction and CSA injection…

cMCP: Confidential MCP Gateway. Hardware-attested policy enforcement for MCP tool calls.

Microsoft's curated repository of secure boot objects (KeK, Db, Dbx) for firmware and runtime, enabling transparent revocation updates and…

An embeddable, portable, branchable virtual machine to safely run Agents locally.

SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong…

Cryptographic and general-purpose routines for Secure Systems Lab projects at NYU

Using @charmbracelet to create an Ethereum browser with style

Open-source hardware security toolchain for power trace capture, side-channel analysis, and glitching/fault-injection attacks on embedded devices and…

Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards