
dwipe
Tool to securely and efficiently wipe devices and partiitions for Linux

Tool to securely and efficiently wipe devices and partiitions for Linux


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

Zig Hardware Security Module library for PIV, CAC, and YubiKey tokens via PC/SC. Supports certificates, PIN management, signing, and decryption.

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

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

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

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use…

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

Firmware Analysis and Comparison Tool

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

Meaningful control of data in distributed systems.

Domain-specific language for writing fast functional device models for virtual platforms. Compiles DML to C with API calls tailored for the Intel…

Declarative KVM/QEMU VM orchestration tool using YAML compose files. Manages multi-VM stacks with cloud-init, SSH, PCI passthrough, and image…

FPGA based microcomputer sandbox for software and RTL experimentation

OWASP framework cataloging the top 10 security risks in neocloud and AI data center infrastructure, covering hardware, networking, isolation,…

Framework for compiling and executing Go applications on bare metal processors, enabling secure firmware development with reduced attack surface…