FSMx-Ultra: Finite State Machine Extraction from Gate-Level Netlist for Security Assessment.
Rasheed KibriaFarimah FarahmandiMark TehranipoorPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- finite state machines
- security level
- state machine
- risk assessment
- information security
- finite state automata
- model checking
- network security
- security policies
- relational databases
- database
- high speed
- database systems
- steady state
- cellular automata
- intrusion detection
- security issues
- state transition
- information extraction