#1Branchable computing by using a portable, lightweight, self-contained virtual machine

用于硬件安全测试的 Flipper Zero 自定义固件,支持 Sub-GHz 无线电、NFC/RFID 模拟、红外和 BadUSB 攻击功能。

基于NRF52840的新一代变色龙使卡片模拟的性能更加稳定,并赋予了变色龙读取、写入和解密卡片的能力。

Lan Tian 的 NixOS 配置

基于FPGA的硬件仿真平台主二进制文件及文档,用于复古系统开发、固件编译和硬件安全研究。

wolfSSL 库是一个小巧、快速、可移植的 TLS/SSL 实现,适用于从嵌入式设备到云端的场景。wolfSSL 支持最高 TLS 1.3 和 DTLS 1.3!更新到 wolfSSL 5.9.1 以获取最新的 CVE 修复。

硬件工具,用于RFID分析、模拟和渗透测试。支持125kHz、13.56MHz协议(MIFARE、iClass、ISO14443/15693),具备密钥恢复、嗅探和脚本功能,适用于安全研究。

不可变Linux操作系统镜像,针对运行Incus容器和虚拟机进行了优化,支持UEFI安全启动、TPM 2.0磁盘加密,并具备自动化镜像构建功能,适用于安全基础设施部署。

一个Linux框架,允许用户空间定义"虚拟"PCIe卡垫片,以支持在主机内进行PCIe卡驱动开发。

一个快速、便携且轻量级的COSE + CBOR实现,适用于嵌入式系统。支持PQC、FIPS 140-3、DO-178和MISRA C。由wolfSSL提供技术支持。


一个免费的综合性逆向工程教程,涵盖x86、x64、32位/64位ARM、8位AVR和32位RISC-V架构。

用于编写虚拟平台快速功能设备模型的领域特定语言。将DML编译为C,并包含专为Intel Simics模拟器定制的API调用,支持硬件模拟和安全测试。

一个用于检查 Linux 内核安全加固选项的工具。

QEMU 官方镜像。请参阅 https://www.qemu.org/contribute/ 了解如何向 QEMU 提交更改。Pull Requests 已被禁用。请仅使用 QEMU 网站上的 release tarballs。

借助 GDB 和 LLDB 轻松实现漏洞利用开发与逆向工程