Abstract: Recent advances in logic locking have produced numerous schemes, many of which have been evaluated using informal methods, leaving them vulnerable to attacks. While formal frameworks for ...