


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

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…

FPGA-based hardware emulation platform main binary and documentation for retro system development, firmware compilation, and hardware security…

nextpnr portable FPGA place and route tool

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

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…

Lan Tian's NixOS Configuration

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

IDA plugin and loader for UEFI firmware analysis and reverse engineering automation

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

Comprehensive set of over 1500 AppArmor profiles to confine Linux system processes, desktops, and services, with support for multiple distributions…

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

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

Tool and framework for securely reading untrusted USB mass storage devices.

A PoC of the CVE-2024-56426 vulnerability.

The fastest LoongArch sandbox