A Python implementation of the AES Crypt file format