Example Projects

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 - (WIP) A case study how to isolate a hardware trojan within an AES encryption netlist.