Describir: Provable security