TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing.
Muhammad Monir HossainNusrat Farzana DipuKimia Zamiri AzarFahim RahmanFarimah FarahmandiMark M. TehranipoorPublished in: ICCAD (2023)
Keyphrases
- security policies
- high security
- java card
- access control
- control flow
- integrity verification
- network security
- intrusion detection
- inference control
- security requirements
- buffer overflow
- windows xp
- information security
- formal analysis
- formal methods
- cryptographic protocols
- security issues
- information flow
- bayesian networks
- security mechanisms
- security problems
- model checking
- distributed systems
- high assurance
- web services
- security model
- security systems
- hardware and software
- image encryption
- low power
- graphical models