CSIS logoCenter for Secure Information Systems

Securing the World's Cyber Infrastructure

Aerial View of the George Mason Fairfax Campus

CSIS Seminar

Vulnerability Assessment of Logic Locking Techniques: Towards Next Generation Attacks on Logic Locking

Speaker:   Kimia Zamiri Azar, The Volgenau School of Engineering, George Mason University
When:   June 1, 2021, 10:00 am - 11:00 am
Where:   Zoom


The increasing cost of integrated circuits (IC) manufacturing has forced many design houses to become fabless. Outsourcing the stages of the manufacturing supply chain to the third-party facilities has introduced multiple forms of security threats. To combat these threats, logic locking introduces the process of hiding the correct functionality of a circuit using key-programmable logic gates. However, the introduction of the satisfiability (SAT) attack has undermined the effectiveness of many existing logic locking solutions. This dissertation, after showing the shortcomings and limitations of the SAT attack, introduces the newer and stronger attack approaches with much more capabilities and performance compared to the existing ones. It introduces the satisfiability modulo theory (SMT) attack, in which the adversary has the capability of modeling non-Boolean logic locking mechanisms using theory solvers. SMT attack is the first of its kind that can model non-Boolean characteristics of the circuit. Then, we introduce the neural network guided SAT (NNgSAT) attack that exploits the benefit of a message passing neural network (MPNN) to reduce the complexity of the de-obfuscation model, especially when complex structures, such as routing modules and multipliers, are parts of the logic locked circuits. In general, this thesis aims to provide an assessment of the capabilities and limitations of the existing studies on logic locking, with more concentration on attack mechanisms. By introducing newer and stronger approaches, this thesis also opens new directions for the designers to evaluate the security of the designs using more appropriate and well-formulated mechanisms, leading to stronger and more reliable design and implementation with enhanced security. Zoom Meeting Link: https://gmu.zoom.us/j/97080445863

Speaker Bio

Kimia Zamiri Azar is a doctoral candidate in the Electrical and Computer Engineering PhD program.. She holds a BS degree from K.N.Toosi University of Technology and an MS degree from Shahid Beheshti University.