Hi all, A spec for the "Sesame" algorithm, which handles session management in the Signal Protocol, is available at [1]. Feedback welcome, as usual. Trevor [1] https://whispersystems.org/docs/specifications/sesame/