A Formal Security Analysis of the Signal Messaging Protocol | IEEE Conference Publication | IEEE Xplore