Power Analysis Attack Against post-SAT Logic Locking schemes | Synapse