FSMLock: Sequential Logic Locking Through Encryption.

Matthew Krebs Marcin Lukowiak Steven Farris Michael T. Kurdziel

Published in: MIXDES (2024)

Keyphrases

classical logic
concurrency control
modal logic
automated reasoning
multi valued
encryption scheme
logic programming
encryption algorithm
predicate logic
neural network
security analysis
logical framework
encryption algorithms