In this work, we attack the existing scan locking defenses proposed in academia using novel approaches.
Papers associated with this work:
Nimisha Limaye, Emmanouil Kalligeros, Nikolaos Karousos, Irene G. Karybali, and Ozgur Sinanoglu, "Thwarting All Logic Locking Attacks: Dishonest Oracle with Truly Random Logic Locking", TCAD 2020
Nimisha Limaye and Ozgur Sinanoglu, “DynUnlock: Unlocking Scan Chains Obfuscated using Dynamic Keys”, DATE 2020
Nimisha Limaye, Abhrajit Sengupta, Mohammed Nabeel, and Ozgur Sinanoglu, “Is Robust Design-for-Security Robust Enough? Attack on Locked Circuits with Restricted Scan Chain Access”, ICCAD 2019
Lilas Alrahis, Muhammad Yasin, Nimisha Limaye, Hani Saleh, Baker Mohammad, Mahmoud Al-Qutayri, and Ozgur Sinanoglu, “ScanSAT: Unlocking Static and Dynamic Scan Obfuscation”, TETC 2019
In this work, we propose a defense solution to thwart attacks such as Intellectual Property piracy, hardware Trojan, and overproduction of Integrated circuits.
Papers associated with this work:
Satwik Patnaik, Nimisha Limaye, and Ozgur Sinanoglu, "Hide-&-Seek: Seeking the (Un)-Hidden Key in Provably-Secure Logic Locking Techniques", IEEE Transactions on Information Forensics and Security (TIFS), 2022
Nimisha Limaye*, Satwik Patnaik*, and Ozgur Sinanoglu, "Valkyrie: Vulnerability Assessment Tool and Attack for Provably-Secure Logic Locking Techniques", IEEE Transactions on Information Forensics and Security (TIFS), 2022 (* Authors contributed equally)
Nimisha Limaye, Animesh B. Chowdhury, Christian Pilato, Mohammed T. M. Nabeel, Ozgur Sinanoglu, Siddharth Garg, Ramesh Karri, "Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks", DAC 2021
Nimisha Limaye, Satwik Patnaik, and Ozgur Sinanoglu, “Fa-SAT: Fault-aided SAT-based attack on Compound Logic Locking Techniques”, DATE 2021
Abhrajit Sengupta, Mohammed Nabeel, Nimisha Limaye, Mohammed Ashraf, and Ozgur Sinanoglu, “Truly Stripping Functionality for Logic Locking: A Fault-based Perspective ”, TCAD 2020
In this work, we applied state-of-the-art logic locking techniques from combinational domain to reversible domain, to protect reversible circuits from threats such as Intellectual property piracy, overbuilding, trojan insertion, etc.
Papers associated with this work:
Nimisha Limaye, Muhammed Yasin, and Ozgur Sinanoglu, “Revisiting logic locking for reversible computing”, ETS 2019