Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks.
Xaver FabianMarco PatrignaniMarco GuarnieriMichael BackesPublished in: CoRR (2024)
Keyphrases
- security mechanisms
- security threats
- security problems
- computer security
- security measures
- security protocols
- security vulnerabilities
- cyber attacks
- security breaches
- denial of service attacks
- java card
- countermeasures
- security issues
- chosen plaintext
- fault injection
- security risks
- security flaws
- cryptographic protocols
- security requirements
- information security
- access control
- malicious users
- insider attacks
- stream cipher
- malicious attacks
- network security
- programming language
- buffer overflow
- security properties
- intrusion detection and prevention
- resource constrained
- smart card
- intrusion prevention
- biometric template
- attack scenarios
- security management
- identity theft
- operating system
- security policies
- secure routing
- intrusion detection
- cyber security
- sensitive data
- attack detection
- outsourced databases
- distributed memory machines
- privacy preserving
- software systems
- dos attacks
- security analysis
- key management