Login / Signup
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction.
Rasheed Kibria
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
finite state machines
model checking
state machine
information security
regular expressions
semi automatic
cellular automaton
finite state automata
fully automatic
security issues
high level
access control
state transition
database systems
data management
intrusion detection