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