Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time".
Gilles BartheBenjamin GrégoireVincent LaportePublished in: CSF (2018)
Keyphrases
- countermeasures
- security measures
- power analysis
- information security
- differential power analysis
- smart card
- key management
- security issues
- security requirements
- security protocols
- java card
- rural areas
- cryptographic protocols
- encryption key
- cyber attacks
- decision making
- secure communication
- database
- block cipher
- encryption scheme
- security properties
- sensitive data
- intrusion detection
- lightweight
- software engineering
- data mining
- databases