Vulnerability and Remedy of Stripped Function Logic Locking.

Hai Zhou Yuanqi Shen Amin Rezaei

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

sound and complete axiomatization
logic programming
multi valued
piecewise linear
database
modal logic
databases
website
case study
multi agent systems
object oriented
logic programs
level set
classical logic
predicate logic