Documentation and formal modeling of LibSignal: https://github.com/signalapp/libsignal - View it on GitHub