Verifiable Outsourced Attribute-Based Encryption Scheme for Cloud-Assisted Mobile E-Health System | Synapse