RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications.
Rasheed KibriaM. Sazadur RahmanFarimah FarahmandiMark M. TehranipoorPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- finite state machines
- model checking
- model based diagnosis
- high accuracy
- network security
- state machine
- information extraction
- state transition
- high quality
- finite state automata
- digital circuits
- information security
- key management
- cellular automaton
- access control
- functional decomposition
- security policies
- statistical databases
- security issues
- intrusion detection
- data model
- high level