C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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