Crypt.spec: This is the spec file for controlling the loading all relevant files of the cryptography package. The spec file is attached by means of the Magma command AttachSpec("Crypt.spec"). cryptosystems.m Defining file for cryptosystems. crypto_keys.m Defining file for cryptographic keys, as elements of the cryptosystem. A key (of type CryptKey) is defined as an *element* of the cryptosystem, under the bijection of keys (or key pairs) with the set of enciphering and deciphering map pairs of the cryptosystem. crypto_text.m Defining file for cryptographic strings (i.e. the domain of plaintext and the codomain of ciphertext) of a cryptosystem. cryptanalysis.m Functions for basic cryptanalytic analysis of strings. public_key.m Functions for public key cryptosystems. encoding.m Stand-alone functions not part of the cryptography datatypes.