RL-TPG: Automated Pre-Silicon Security Verification through Reinforcement Learning-Based Test Pattern Generation.
Nurun Nahar MondolArash VafaeiKimia Zamiri AzarFarimah FarahmandiMark M. TehranipoorPublished in: DATE (2024)
Keyphrases
- reinforcement learning
- high security
- function approximation
- java card
- optimal policy
- reinforcement learning algorithms
- model free
- markov decision processes
- integrity verification
- access control
- control problems
- information security
- state space
- temporal difference
- security policies
- rl algorithms
- cryptographic protocols
- dynamic programming
- intrusion detection
- security issues
- action selection
- model checking
- continuous state
- transfer learning
- learning problems
- temporal difference learning
- partially observable domains
- learning algorithm
- partially observable
- multi agent
- action space
- smart card
- human operators
- high speed
- state and action spaces
- protocol specification
- machine learning
- security level
- security systems
- function approximators
- learning process
- security requirements
- high density