A Formal Security Analysis of the Signal Messaging Protocol (2017) [pdf]

Re:A Formal Security Analysis of the Signal Messaging Protoc... by doomrobo on Saturday May 19, 2018 @10:02AM (#17107929)

Original edition: 2016

Extended edition (this one): 2017

[ Parent | on HN ]

Re:A Formal Security Analysis of the Signal Messaging Protoc... by sctb on Saturday May 19, 2018 @12:26PM (#17108529)

Thanks! We've updated the title.

[ Parent | on HN ]

Re:A Formal Security Analysis of the Signal Messaging Protoc... by bob1122 on Saturday May 19, 2018 @11:18AM (#17108209)

Thank you for pointing that out doom

[ Parent | on HN ]