Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks.
Maxime NassarSylvain GuilleyJean-Luc DangerPublished in: IACR Cryptol. ePrint Arch. (2011)
Keyphrases
- formal analysis
- countermeasures
- information security
- trade off
- security measures
- smart card
- ban logic
- cyber attacks
- java card
- security issues
- security breaches
- security requirements
- intrusion detection
- network security
- power analysis
- computer security
- smart grid
- sensitive data
- formal methods
- information systems
- artificial intelligence
- sql injection
- information warfare
- agent model
- security threats
- defense mechanisms
- low cost
- security policies
- block cipher
- database
- authentication protocol
- critical infrastructure
- cyber security
- key management