FVCARE: Formal Verification of Security Primitives in Resilient Embedded SoCs.
Avani DaveNilanjan BanerjeeChintan PatelPublished in: CoRR (2023)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- security policies
- symbolic model checking
- cryptographic protocols
- security issues
- network security
- access control
- program slicing
- security requirements
- embedded systems
- intrusion detection
- high level
- automated verification
- statistical databases
- key management
- low level
- artificial intelligence
- temporal logic
- domain independent
- software engineering