CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests.
Caroline TrippelDaniel LustigMargaret MartonosiPublished in: MICRO (2018)
Keyphrases
- low cost
- random number generator
- hardware and software
- network security
- trusted computing
- intrusion detection
- fully automated
- security issues
- human operators
- real time
- semi automated
- hardware implementation
- information security
- security level
- computer security
- key management
- vlsi implementation
- computer architecture
- security requirements
- computer systems
- access control
- computing power
- security policies
- sensitive data
- security mechanisms
- network management
- computing systems
- security analysis
- security systems
- personal computer
- security management
- security measures
- windows xp