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