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

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