Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions.
Kimia Zamiri AzarMuhammad Monir HossainArash VafaeiHasan Al ShaikhNurun N. MondolFahim RahmanMark M. TehranipoorFarimah FarahmandiPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- high security
- security issues
- artificial intelligence
- security concerns
- integrity verification
- security problems
- model checking
- formal verification
- access control
- intrusion detection
- lessons learned
- information security
- security threats
- statistical databases
- genetic algorithm
- intelligent systems
- expert systems
- security requirements
- hardware and software
- low power
- knowledge representation
- test generation
- security systems
- cryptographic protocols
- java card
- network security
- test cases
- information systems
- symbolic execution
- high assurance
- cloud computing