Brian Smith Retweeted IACR
"We extract […] a formal description of the abstract protocol, define a security model […], and prove the security of Signal's core[.]"https://twitter.com/IACR_News/status/791749331766226945 …
Brian Smith added,
2:46 PM - 27 Oct 2016
0 replies
15 retweets
11 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.