Attribute-based encryption with non-monotonic access structures | Synapse