Ratcheted Encryption and Key Exchange: The Security of Messaging.
Mihir BellareAsha Camper SinghJoseph JaegerMaya NyayapatiIgors StepanovsPublished in: CRYPTO (3) (2017)
Keyphrases
- key exchange
- security analysis
- diffie hellman
- key exchange protocol
- password based authenticated key exchange
- smart card
- digital signature
- security requirements
- security properties
- encryption scheme
- standard model
- secure communication
- key distribution
- sensor networks
- fault tolerant
- secret key
- formal model
- end to end