Lilas Alrahis Satwik Patnaik Faiq Khalid Muhammad Abdullah Hanif Hani Saleh Muhammad Shafique 0001 Ozgur Sinanoglu GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking. 2020 abs/2012.05948 CoRR https://arxiv.org/abs/2012.05948 db/journals/corr/corr2012.html#abs-2012-05948