Login / Signup
FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment.
Rasheed Kibria
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
</>
finite state machines
model checking
high speed
intrusion detection
risk assessment
finite state automata
access control
security level
state machine
information security
security issues
security requirements
security policies
state transition
database
regular expressions
domain specific
information extraction