Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks.
Frank PiessensPublished in: TIS@CCS (2019)
Keyphrases
- information security
- computer security
- block cipher
- smart card
- security requirements
- access control
- intrusion detection
- security mechanisms
- security systems
- statistical databases
- network security
- security issues
- security protocols
- model checking
- security measures
- concurrent execution
- biometric systems
- functional requirements
- data mining
- security analysis
- security threats
- execution model
- security management
- security vulnerabilities