Hardware and software co-verification from security perspective in SoC platforms.
Kejun ChenLei SunQingxu DengPublished in: J. Syst. Archit. (2022)
Keyphrases
- hardware and software
- high security
- java card
- smart card
- low cost
- hardware software co design
- computer systems
- security requirements
- information security
- integrity verification
- cryptographic protocols
- model checking
- access control
- hardware software
- security analysis
- intrusion detection
- security policies
- real time
- remote monitoring
- network security
- image processing
- formal methods
- machine learning
- security vulnerabilities
- signal processing