hal - the missing piece of the puzzle for hardware reverse engineering , trojan detection and insertion .
COTD: Reference-Free Hardware Trojan Detection and Recovery Based on Controllability and Observability in Gate-Level Netlist