The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications (authors' version)
On the security of public key protocols