Design and Analysis of a Provable Secure Multi-Recipient Public Key Encryption Scheme | Synapse