Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.
Shibo TangXingxin WangYifei GaoWei HuPublished in: ISOCC (2022)
Keyphrases
- symbolic execution
- test generation
- test data generation
- static analysis
- specification language
- source code
- data flow
- security vulnerabilities
- anomaly detection
- test cases
- information security
- risk assessment
- high security
- artificial intelligence
- network security
- buffer overflow
- cryptographic protocols
- software systems
- query processing