A Formal Security Analysis of the Signal Messaging Protocol.
Katriel Cohn-GordonCas CremersBenjamin DowlingLuke GarrattDouglas StebilaPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- public key
- smart card
- high security
- security model
- security requirements
- security properties
- secure electronic
- user authentication
- elliptic curve cryptography
- encryption scheme
- key exchange
- encryption algorithm
- formal model
- fault tolerant
- digital signature
- private key
- authentication scheme
- information security
- image compression