Formal security evaluation of hardware Boolean masking against second-order attacks.
Houssem MaghrebiSylvain GuilleyJean-Luc DangerPublished in: HOST (2011)
Keyphrases
- security threats
- security protocols
- security problems
- security mechanisms
- security breaches
- real time
- security vulnerabilities
- java card
- malicious users
- computer security
- low cost
- security measures
- random number generator
- security issues
- network security
- information security
- key management
- boolean functions
- cyber attacks
- secure routing
- denial of service attacks
- identity theft
- cryptographic algorithms
- buffer overflow
- chosen plaintext
- security risks
- cyber security
- security requirements
- embedded systems
- human visual system
- intrusion detection
- computer systems
- access control