From: Sergey Matveev <stargrave@stargrave.org>
Date: Wed, 9 Nov 2016 05:22:58 +0000 (+0300)
Subject: Формальный анализ Signal протокола
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=5c7df55d0ffdce39f6c15a458b71d0ff593f9e48;p=stargrave-blog.git

Формальный анализ Signal протокола

https://eprint.iacr.org/2016/1013.pdf
Он хорош, изъянов не найдено.
---