Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.
José Bacelar AlmeidaManuel BarbosaGilles BartheFrançois DupressoirPublished in: FSE (2016)
Keyphrases
- smart card
- information security
- security protocols
- key management
- security requirements
- security properties
- fuzzy vault
- encryption decryption
- countermeasures
- encryption scheme
- cryptographic protocols
- authentication protocol
- security analysis
- random number generator
- secret key
- secure communication
- high assurance
- stream cipher
- risk minimization
- random number generators
- security mechanisms
- security issues
- power analysis
- authentication scheme
- elliptic curve cryptography
- sensitive data
- efficient implementation
- high security
- network security
- public key cryptography
- cryptographic algorithms
- packet filtering
- intrusion detection
- random number
- security services
- statistical databases
- sufficient conditions
- security level
- secret sharing
- security systems
- security model
- data security
- data integrity
- security policies
- hash functions