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

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

Automated Application Generation for Stack Overflow Types on Wireless Routers

This tool allows to check speculative execution side-channel attacks that affect many modern processors and operating systems designs. CVE-2017-5754…

Checks for tpm vulnerabilities

Offensive security tool for printer pentesting

Simple yet fancy CPU architecture fetching tool

Tool to securely and efficiently wipe devices and partiitions for Linux

cMCP: Confidential MCP Gateway. Hardware-attested policy enforcement for MCP tool calls.

open-source jailbreaking tool for many iOS devices

Hardware tool for RFID analysis, emulation, and penetration testing. Supports 125kHz, 13.56MHz protocols (MIFARE, iClass, ISO14443/15693) with key…

Printer Exploitation Toolkit - The tool that made dumpster diving obsolete.

nextpnr portable FPGA place and route tool

A tool for checking the security hardening options of the Linux kernel

Firmware Analysis and Comparison Tool

Salamandra is a tool to find spy microphones that use radio freq to transmit. It uses SDR.

Inception is a physical memory manipulation and hacking tool exploiting PCI-based DMA. The tool can attack over FireWire, Thunderbolt, ExpressCard,…

Offline nested attack tool that recovers MIFARE Classic authentication keys using known default or user-supplied keys for assessing NFC/RFID card…