Logic Locking of Finite-State Machines Using Transition Obfuscation.

Shahzad Muzaffar Ibrahim Abe M. Elfadel

Published in: VLSI-SoC (2022)

Keyphrases

finite state machines
state machine
digital circuits
state transition
finite state automata
model checking
regular expressions
reverse engineering
multi valued
classical logic
database systems
concurrency control
hidden markov models
static analysis
finite automata
data management
transaction processing systems