Since I'm very happy with the usability of the WIRE messenger I would appreciate if someone would do a formal security analysis on their (modified) axolotl protocol.