Skip to content

Example Projects

Jump to bottom
joern274 edited this page Sep 6, 2025 · 13 revisions

HAL comes with a set of example projects that can help to get started with its various functionalities. All of these projects can be found in hal/examples. Each project is provided as a zipped HAL project file, which can be imported into the HAL GUI. Below, we link to a tutorial description for each of the example projects.

  • FSM - (WIP) A stand-alone FSM implementation that introduces you to the HAL GUI, Python scripting, and FSM reverse engineering.
  • Toy Cipher - (WIP) A small (insecure) cipher implementation that gets you started with dataflow analysis and netlist simulation.
  • Simple ALU - An extremely simple 8-bit ALU implementation with 2-bit opcode that gets you started with Boolean function analysis and SMT solving.
  • UART - WIP
  • Crypto Trojan - A case study how to isolate a hardware trojan within an AES encryption netlist.

Clone this wiki locally