Expanding In-Cone Obfuscated Tree for Anti SAT Attack | IEEE Conference Publication | IEEE Xplore