CAD for Assurance of Electronic Systems
 

SWEEP

By: Abdulrahman Alaql, Domenic Forte, and Swarup Bhunia Stage: Security Analysis of Gate-Level Netlist Obfuscation Summary SWEEP is a constant propagation attack that exploits the change in characteristics of the IP when a single key-bit …

ObfusGEM

By: Michael Zuzak (University of Maryland, College Park) and Ankur Srivastava (University of Maryland, College Park) Stage: RTL, HDL Summary ObfusGEM is a comprehensive logic locking simulator designed to evaluate the supply-chain security of locked …

SnapShot

By: Dominik Sisejkovic (RWTH Aachen University), Farhad Merchant (RWTH Aachen University), Lennart M. Reimann (RWTH Aachen University), Harshit Srivastava (RWTH Aachen University), Ahmed Hallawa (RWTH Aachen University) and Rainer Leupers (RWTH Aachen University) Stage: RTL, …

RTL Logic Attacks

By: Chandan Karfa (IIT Guwahati) and Ramanuj Chouksey (IIT Guwahati) Stage: RTL Summary An attack on locked RTL generated by TAO a state-of-the-art RTL locking solution. Contact Chandan Karfa Ramanuj Chouksey Input/Output Interface Input: Locked …

HAL

By: Embedded Security Group, Max Planck Institute for Security and Privacy, Germany Stage: Gate-Level Summary HAL [/hel/] is a comprehensive netlist reverse engineering and manipulation framework. Virtually all available research on netlist analysis operates on …