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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Cohn-Gordon, K, Cremers, C, Dowling, B, Garratt, L, Stebila, D
Formáid: Conference item
Foilsithe / Cruthaithe: IEEE 2017