Describir: The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems.