Hardware Security Leak Detection by Symbolic Simulation.
Neta Bar KamaRoope KaivolaPublished in: FMCAD (2021)
Keyphrases
- leak detection
- hardware software
- low cost
- information security
- hardware and software
- random number generator
- security requirements
- network security
- computer systems
- intrusion detection
- statistical databases
- computing systems
- real time
- high level
- image processing
- neural network
- symbolic representation
- security issues
- simulation model
- trusted computing
- network access
- protection scheme
- windows xp