Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification.
Mohammad AkyashHadi Mardani KamaliPublished in: CoRR (2024)
Keyphrases
- high security
- random number generator
- java card
- industrial automation
- integrity verification
- low cost
- cryptographic protocols
- security requirements
- hardware designs
- information security
- network security
- security analysis
- human operators
- computer security
- key management
- security policies
- hardware and software
- high assurance
- embedded systems
- intrusion detection
- security threats
- computer systems
- trusted computing
- smart card
- access control
- security issues
- security level
- model checking
- data encryption
- real time
- encryption algorithms
- protection schemes
- vlsi implementation
- hardware architecture
- security model
- authentication protocol
- security mechanisms
- image processing
- information systems