Practical constructions and new proof methods for large universe attribute-based encryption | Synapse