Testing Done Right · HALucinator

The most effective security testing tool for IoT firmware, thanks to full host emulation.

Developed from research by, and in collaboration with EPFL's HexHive lab.

HAL chip

Deeper and simpler firmware testing

Finds the bugs that other products won't find. We overcome limitations of static analysis tools thanks to in-depth dynamic analysis from both software and hardware inputs.

Supports popular platforms. Cortex-M3-based STM32 are supported out-of-the-box. M4-based family and others can be supported with minimal effort.

Simulates real attacks. Thanks to hardware peripherals emulation, we simulate a realistic deployment in a fully virtual way, and find bugs early in the development cycle.

Built on state-of-the-art research. We offer this product in partnership with EPFL's HexHive group, co-author of the core technology, peer-reviewed and published at a leading research conference.

About

Teserakt was founded in September 2018 in Lausanne, Switzerland, and is an internationally recognized company, that was notably featured in Wired.

Teserakt's team is composed of senior persons with experience on globally impactful projects, and whose previous engineering work is now used in the Linux kernel and in Google software:

  • JP Aumasson, Founder & CEO – Lausanne, Switzerland
  • Antony Vennard, Chief Engineer – Lausanne, Switzerland
  • Flavien Binet – Chief Architect – Luxembourg
  • Emmanuel Odeke, Technical Advisor – Palo Alto, CA, USA

Please don't hesitate to get in touch for any question:  [email protected]