Arm

Sternum EIV

Agentless IoT firmware runtime security with cloud-based threat detection.

ProvenRun ProvenBox

Tamper-resistant hardware security appliance with TEE, CC EAL5+/FIPS 140-2 L4.

ProvenRun ProvenCore

Formally verified secure OS/TEE for IoT and embedded devices.

ProvenRun ProvenCore-M

Secure microkernel for trusted IoT solutions on ARM V8M architecture.

ProvenRun ProvenApps

Suite of certified trusted apps for IoT security running on ProvenCore OS.

ProvenCore-M

TEE for 32-bit MCUs with PSA & SESIP Level 3 certification for IoT security.

NXM CyberSafe

IoT cyber warranty program w/ hardware-level security for OEM smart devices.

NXM TrustStar

IoT supply chain security for chips & firmware without HSMs or secure elements.

GLIMPS Audit

Automatic binary reverse-engineering tool for library ID across architectures.

Emproof Nyx

Binary-level firmware protection for embedded systems, no source code needed.

CYSEC ARCA Trusted OS on Bare Metal

Hardened OS for secure container execution on bare metal x86/ARM servers.

CYSEC ARCA SATCOM VPN

VPN with encryption and acceleration for satellite internet networks.

Root Image Drift

Curated container image registry with continuous patching and zero drift

Attify Mobile Application Exploitation

Training course for Android and iOS mobile app security testing and exploitation

Attify Offensive IoT Exploitation

Private training course for IoT device pentesting and exploitation

GrammaTech HALucinator

Firmware analysis and emulation platform using High-Level Emulation (HLE)

Ropper

Ropper is a multi-architecture binary analysis tool that searches for ROP gadgets and displays information about executable files for exploit development.

PLASMA

PLASMA is an interactive disassembler that generates readable assembly code with colored syntax for reverse engineering binary files across multiple architectures and formats.

Exploit-Challenges

A collection of vulnerable ARM binaries designed for educational exploit development and vulnerability research practice across different architectures and exploitation techniques.

exploit_me

A deliberately vulnerable ARM/ARM64 application with 14 different vulnerability levels designed for CTF-style exploitation training and education.

ROPgadget Tool

ROPgadget is a cross-platform command-line tool that searches for ROP gadgets in binary files across multiple architectures to facilitate exploit development and ROP chain construction.

ARM TrustZone

ARM TrustZone provides a secure execution environment for applications on ARM processors.

RetDec

RetDec is an LLVM-based decompiler that converts machine code from various architectures and file formats back into readable C-like source code for reverse engineering and malware analysis.