Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT.

Jim Geist Travis Meade Shaojie Zhang Yier Jin

Published in: CoRR (2023)

Keyphrases

low cost
real time
random number generator
finite state machines
computer systems
security requirements
computing systems
access control
search space
search algorithm
dynamic programming
orders of magnitude
security policies
hidden markov models
statistical databases
security analysis
image processing