]> Sergey Matveev's repositories - stargrave-blog.git/commitdiff
projects / stargrave-blog.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 778aaf0)
Формальный анализ Signal протокола
authorSergey Matveev <stargrave@stargrave.org>
Wed, 9 Nov 2016 05:22:58 +0000 (08:22 +0300)
committerSergey Matveev <stargrave@stargrave.org>
Wed, 9 Nov 2016 05:22:58 +0000 (08:22 +0300)
https://eprint.iacr.org/2016/1013.pdf
Он хорош, изъянов не найдено.


No differences found
Blog