Firmware

Proseca: Proactive Security Chain for Automotive

Proactive security analysis along the automotive supply chain, from components and firmware to the vehicle.

ASRIOT: Automated Security Analysis of RTOS- and MCU-based IoT Firmware

Automated security analysis of firmware for microcontroller- and RTOS-based IoT devices, using rehosting and fuzzing.