Provably secure compilation of side-channel countermeasures.
Gilles BartheBenjamin GrégoireVincent LaportePublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- countermeasures
- provably secure
- standard model
- key management
- information security
- security model
- public key
- power analysis
- blind signature
- signature scheme
- hash functions
- blind signature scheme
- security requirements
- partially blind signature scheme
- diffie hellman
- ad hoc networks
- access control
- wireless sensor networks
- information systems
- databases
- network security
- web services