Boolean Domain Attack on Corrupt and Correct Based Logic Locking Techniques. - Joseph Madera; Kyle Juretus (ACM Great Lakes Symposium on VLSI, 2024)