A formal analysis of the signal messaging protocol
Signal is a new security protocol that provides end-to-end encryption for instant messaging. It has recently been adopted by WhatsApp, Facebook Messenger and Google Allo among many others; the first two of these have at least 1 billion active users. Signal includes several uncommon security propert...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2017
|