Tree-Based Logic Encryption for Resisting SAT Attack | IEEE Conference Publication | IEEE Xplore