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

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…

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!

iNTERCEPT, a free and open-source platform that unites the best signal intelligence tools into a single, accessible interface.


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…

The fastest LoongArch sandbox

Firmware Analysis and Comparison Tool

Binary analysis and modification platform for unpacking, analyzing, modifying, and repacking firmware and executable formats via GUI and Python API.

Apple Silicon device emulator.

Workshop on firmware reverse engineering

Go Trusted Execution Environment (TEE)