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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Cohn-Gordon, K, Cremers, C, Dowling, B, Garratt, L, Stebila, D
Định dạng: Conference item
Được phát hành: IEEE 2017