Secure mobile communication via identity-based cryptography and server-aided computations