Describir: Provably Secure Cryptographic Constructions