Text this: A Provably Secure Proxy Signcryption Scheme Using Bilinear Pairings