
DigiDuck-Framework
Framework for Digiduck Development Boards running ATTiny85 processors and micronucleus bootloader!

Framework for Digiduck Development Boards running ATTiny85 processors and micronucleus bootloader!

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

A practical attack framework for precise enclave execution control

Bluetooth experimentation framework for Broadcom and Cypress chips.

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

CANToolz - framework for black-box CAN network analysis

The first analysis framework for CPU microcode

A framework for creating smart cards (ICC-based cards with contacts).

A attempt at cryptographic framework for Baochip-1x .

Framework for controlling QKD devices and managing symmetric keys. See the [project page here](https://qcomms.gitlab.io/cqptoolkit/)

Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)

Platform Security Assessment Framework

Embedded systems C2 software written in C/C#

Hybrid kernel combining Mach, FreeBSD, and IOKit for macOS and iOS. Provides core OS services, driver framework, and security policy enforcement on…

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Patched sdks that include private framework tbds

A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.

A QEMU/KVM-based USB fuzzing framework that finds device-driver bugs via reproducible VM execution, multiprocessing, and XML testcase generation.