KEATON: Assertion-guided Attack on Combinational and Sequential Locking without Scan Access | IEEE Conference Publication | IEEE Xplore