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

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

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

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

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

EMBA - The firmware security analyzer

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

Provides library functionality for FIDO2, including communication with a device over USB or NFC.

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

Patching and hooking the Linux kernel with only a stripped Linux kernel image.

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

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

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Firmware Analysis and Comparison Tool

Minimal machine architecture with LLVM compiler backend, Linux port, and virtual machine for creating self-contained software capsules that remain…

Tool to securely and efficiently wipe devices and partiitions for Linux

Fuzzes CPU implementations by generating test inputs from software proxies, then executes them on real hardware to detect microarchitecture defects…

Mediatek Flash and Repair Utility