They provide the links of their audit of the Signal Protocol there saying that it is cryptographically sound.
They provide the links of their audit of the Signal Protocol there saying that it is cryptographically sound.