A Formal Security Analysis of the Signal Messaging Protocol.
Katriel Cohn-GordonCas CremersBenjamin DowlingLuke GarrattDouglas StebilaPublished in: EuroS&P (2017)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- security model
- smart card
- public key
- high security
- security properties
- security requirements
- secure electronic
- key exchange
- elliptic curve cryptography
- user authentication
- encryption scheme
- fault tolerant
- low cost
- access control policies
- formal methods
- lightweight