A formal analysis of the signal messaging protocol (2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017)

(untitled) - Cohn-Gordon, K; Cremers, C; Dowling, B; Garratt, L; Stebila, D