SATAM: A SAT Attack Resistant Active Metering Against IC Overbuilding.

Aijiao Cui Zhen Weng Hui Zhang Gang Qu Huawei Li

Published in: IEEE Trans. Emerg. Top. Comput. (2022)

Keyphrases

integrated circuit
satisfiability problem
sat solvers
sat problem
smart grid
search algorithm
countermeasures
data sets
secret key
boolean satisfiability