Cryptol: The Language of Cryptography