SATAM: A SAT Attack Resistant Active Metering Against IC Overbuilding | IEEE Journals & Magazine | IEEE Xplore