[PPT] - A Formal Security Analysis of the Signal Messaging Protocol Luke PowerPoint Presentation