A Formal Security Analysis of the Signal Messaging Protocol
Katriel Cohn−Gordon‚ Cas Cremers‚ Benjamin Dowling‚ Luke Garratt and Douglas Stebila
Book Title
2nd IEEE European Symposium on Security and Privacy
Organisation
IEEE
Year
2017
Katriel Cohn−Gordon‚ Cas Cremers‚ Benjamin Dowling‚ Luke Garratt and Douglas Stebila