RWC 2017 - A Formal Security Analysis of the Signal Messaging Protocol
Unknown (noreply@blogger.com)
Real World Crypto 2017 kicked off yesterday in New York City. This afternoon, Luke Garratt presented his and his colleagues' work, A Formal Security Analysis of the Signal Messaging Protocol . The signal protocol is used by the Facebook messenger app, WhatsApp and the Signal app (to name but a few). It is therefore surprising that there had been no formal security analysis, and their work addresses this issue. The paper is motivated by the questions What should Signal achieve? and Does it? Or, p