Text this: Efficient and provably secure attribute-based online/offline encryption schemes