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

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

Branchable computing by using a portable, lightweight, self-contained virtual machine

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

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…

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

Lan Tian's NixOS Configuration

A fast, portable, and lightweight COSE + CBOR implementation for embedded systems. Supports PQC, FIPS 140-3, DO-178, and MISRA C. Powered by wolfSSL.

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Vendor-neutral OWASP project mapping quantum-era security risks with a Top 10 risk list, mitigation guidance, and threat models for post-quantum…

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

ZoneMinder is a free, open source Closed-circuit television software application developed for Linux which supports IP, USB and Analog cameras.

Independent IoT security research, vulnerability disclosures, and PoCs focusing on firmware analysis, hardware interfaces, and cryptographic flaws.

EMBA - The firmware security analyzer

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

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

A tool for checking the security hardening options of the Linux kernel

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203