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

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

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

PoC exploits and Docker build environment for CVE-2023-34551 and CVE-2023-34552 targeting EZVIZ IP cameras, with DEF CON 31 Hardware Hacking Village…

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

Assesses a system for the "speculative execution" vulnerabilities described in CVE-2017-5715, CVE-2017-5753, CVE-2017-5754

A fuzzer for full VM kernel/driver targets

Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing

Breathe fresh life into your bricked Nest, now with 100% less evil!


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

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

Rust library and format specification for creating and loading Independent Guest Virtual Machine (IGVM) files, supporting hardware-isolated VMs with…

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

The fastest LoongArch sandbox

Firmware Analysis and Comparison Tool

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Apple Silicon device emulator.