Re:Please Stop Writing Secure Messaging Tools
by epimenov on Monday November 23, 2015 @05:57AM
(#10613885)
OTR is.
As far as I know there's been one whitepaper on TextSecure itself (https://eprint.iacr.org/2014/904.pdf).
The best description of it seems to be at https://github.com/trevp/axolotl/wiki and it's not really understandable by someone who doesn't already know the protocol, so I doubt many people that don't work on Signal have reviewed it.
It looks like the authors know what they are doing though, so it's probably good, but there might be a small risk that they overlooked something.