By: Yujie Wang (ICT, Chinese Academy of Sciences), Pu Chen (Alexa Shopping, Amazon Web Services), Jiang Hu (Texas A&M University), Guofeng Li (Nankai University), and JV Rajendran (Texas A&M University) Stage: Physical Design and Manufacturing …
By: Kimia Zamiri Azar (GMU), Hadi Mardani Kamali (GMU), Houman Homayoun (UC Davis), Avesta Sasan (GMU) Stage: RTL Summary SMT Attack on Boolean and Non-Boolean Obfuscation Methods Contact Kimia Zamiri Azar Input/Output Interface Input: obfuscated …
By: Abraham Kuruvila, Shamik Kundu and Kanad Basu (University of Texas at Dallas) Stage: On-Field Summary This repository aims to protect Hardware-based Malware Detectors (HMDs) against adversarial attacks. This tool specifically deals with tools made …
By: Prabuddha Chakraborty, Jonathan Cruz, and Swarup Bhunia Stage: Gate-Level Summary SAIL is an obfuscation evaluation tool written in C and Python which uses machine learning to recover the design intent of a gate-level design …
By: Prabuddha Chakraborty, Jonathan Cruz, and Swarup Bhunia Stage: Gate-Level Summary SURF is an obfuscation evaluation tool written in C and Python that uses machine learning, structural, and functional analysis to unlock a locked gate-level …
By: Abdulrahman Alaql, Xinmu Wang, Md Moshiur Rahman, and Swarup Bhunia Stage: Security Analysis of Gate-Level Netlist Obfuscation Summary We introduce a novel combined attack modality, referred to as SOMA, which relies on judiciously combining …
By: Abdulrahman Alaql, Xinmu Wang, Md Moshiur Rahman, and Swarup Bhunia Stage: Security Analysis of Gate-Level Netlist Obfuscation Summary SCOPE is a synthesis-based constant propagation attack for security evaluation of logic locking techniques. The attack …