Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks.
Maxime NassarSylvain GuilleyJean-Luc DangerPublished in: INDOCRYPT (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
- network security
- authentication protocol
- intrusion detection
- computer security
- formal methods
- power analysis
- information systems
- agent model
- security mechanisms
- sensitive data
- smart grid
- critical infrastructure
- data mining
- access control
- case study
- sql injection