scholarly journals Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities

Author(s):  
Dominik Sisejkovic ◽  
Lennart M. Reimann ◽  
Elmira Moussavi ◽  
Farhad Merchant ◽  
Rainer Leupers
2021 ◽  
Vol 16 ◽  
pp. 2508-2523
Author(s):  
Lilas Alrahis ◽  
Satwik Patnaik ◽  
Johann Knechtel ◽  
Hani Saleh ◽  
Baker Mohammad ◽  
...  

Author(s):  
Lilas Alrahis ◽  
Satwik Patnaik ◽  
Muhammad Shafique ◽  
Ozgur Sinanoglu

2021 ◽  
Vol 17 (3) ◽  
pp. 1-26
Author(s):  
Dominik Sisejkovic ◽  
Farhad Merchant ◽  
Lennart M. Reimann ◽  
Harshit Srivastava ◽  
Ahmed Hallawa ◽  
...  

Logic locking is a prominent technique to protect the integrity of hardware designs throughout the integrated circuit design and fabrication flow. However, in recent years, the security of locking schemes has been thoroughly challenged by the introduction of various deobfuscation attacks. As in most research branches, deep learning is being introduced in the domain of logic locking as well. Therefore, in this article we present SnapShot, a novel attack on logic locking that is the first of its kind to utilize artificial neural networks to directly predict a key bit value from a locked synthesized gate-level netlist without using a golden reference. Hereby, the attack uses a simpler yet more flexible learning model compared to existing work. Two different approaches are evaluated. The first approach is based on a simple feedforward fully connected neural network. The second approach utilizes genetic algorithms to evolve more complex convolutional neural network architectures specialized for the given task. The attack flow offers a generic and customizable framework for attacking locking schemes using machine learning techniques. We perform an extensive evaluation of SnapShot for two realistic attack scenarios, comprising both reference combinational and sequential benchmark circuits as well as silicon-proven RISC-V core modules. The evaluation results show that SnapShot achieves an average key prediction accuracy of 82.60% for the selected attack scenario, with a significant performance increase of 10.49 percentage points compared to the state of the art. Moreover, SnapShot outperforms the existing technique on all evaluated benchmarks. The results indicate that the security foundation of common logic locking schemes is built on questionable assumptions. Based on the lessons learned, we discuss the vulnerabilities and potentials of logic locking uncovered by SnapShot. The conclusions offer insights into the challenges of designing future logic locking schemes that are resilient to machine learning attacks.


Author(s):  
Prabuddha Chakraborty ◽  
Jonathan Cruz ◽  
Abdulrahman Alaql ◽  
Swarup Bhunia

2020 ◽  
Vol 43 ◽  
Author(s):  
Myrthe Faber

Abstract Gilead et al. state that abstraction supports mental travel, and that mental travel critically relies on abstraction. I propose an important addition to this theoretical framework, namely that mental travel might also support abstraction. Specifically, I argue that spontaneous mental travel (mind wandering), much like data augmentation in machine learning, provides variability in mental content and context necessary for abstraction.


2020 ◽  
Author(s):  
Mohammed J. Zaki ◽  
Wagner Meira, Jr
Keyword(s):  

2020 ◽  
Author(s):  
Marc Peter Deisenroth ◽  
A. Aldo Faisal ◽  
Cheng Soon Ong
Keyword(s):  

Author(s):  
Lorenza Saitta ◽  
Attilio Giordana ◽  
Antoine Cornuejols

Sign in / Sign up

Export Citation Format

Share Document