RWC 2017 - A Formal Security Analysis of the Signal Messaging Protocol
http://bristolcrypto.blogspot.com/2017/01/rwc-2017-formal-security-analysis-of.html [bristolcrypto.blogspot.com]
2017-01-07 21:04
Their proof is too long to be featured in this blog post, but Luke promises it is tedious rather than complex. Their conclusion? So far, so good.