Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.
José Bacelar AlmeidaManuel BarbosaGilles BartheFrançois DupressoirPublished in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases
- smart card
- security protocols
- key management
- security requirements
- security properties
- information security
- encryption scheme
- encryption decryption
- secret key
- secure communication
- fuzzy vault
- security mechanisms
- security analysis
- secret sharing
- cryptographic algorithms
- cryptographic protocols
- random number generators
- random number generator
- access control
- data security
- sufficient conditions
- encryption key
- risk minimization
- elliptic curve cryptography
- authentication protocol
- stream cipher
- countermeasures
- efficient implementation
- sensitive data
- public key cryptography
- public key encryption
- high assurance
- intrusion detection
- security policies
- security level
- network security
- high security
- statistical databases
- security issues
- information systems
- public key