30 citations · 170 across the 53 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
LUT-Lock: A Novel LUT-based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection
Hadi Mardani Kamali, Kimia Zamiri Azar, Kris Gaj +2
In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist obfuscation algorithm, for protecting the intellectual property that is mapped to an FPGA bitstream or an ASI…
cs.CR2018
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes
Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj +2
In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes. Our investigation revealed that Glucose and Lingeling SAT solvers…