Giovanni Di Crescenzo, Abhrajit Sengupta, Ozgur Sinanoglu, Muhammad Yasin. Logic Locking of Boolean Circuits: Provable Hardware-Based Obfuscation from a Tamper-Proof Memory. In Emil Simion, Rémi Géraud-Stewart, editors, Innovative Security Solutions for Information Technology and Communications - 12th International Conference, SecITC 2019, Bucharest, Romania, November 14-15, 2019, Revised Selected Papers. Volume 12001 of Lecture Notes in Computer Science, pages 172-192, Springer, 2019. [doi]
Abstract is missing.