Logic Locking of Boolean Circuits: Provable Hardware-Based Obfuscation from a Tamper-Proof Memory

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]

Authors

Giovanni Di Crescenzo

This author has not been identified. Look up 'Giovanni Di Crescenzo' in Google

Abhrajit Sengupta

This author has not been identified. Look up 'Abhrajit Sengupta' in Google

Ozgur Sinanoglu

This author has not been identified. Look up 'Ozgur Sinanoglu' in Google

Muhammad Yasin

This author has not been identified. Look up 'Muhammad Yasin' in Google