(In-)Secure messaging with the Silent Circle instant messaging protocol
Authentication and Authenticated Key Exchanges