@HealthRanger signal’s core protocols and primitives have been extensively analyzed by multiple third parties and were found to be sound. https://eprint.iacr.org/2016/1013.pdf the protocol itself has lineage to OTR, which has been around a long time. The implementation of these protocols is open source and can be located on GitHub.