Specify and synthesize systems using symbolic algorithms
-
Updated
Oct 31, 2024 - Python
Specify and synthesize systems using symbolic algorithms
Two scripts in Python to encrypt/decrypt using the 128 bits AES algorithm, ECB mode with hex "00" as padding for each character. For the encryption, an ascii plaintext file is taken as the input, then an encrypted hex file is outputted. For the decryption, a ciphertext hex file is taken as the input, then a decrypted ascii file is outputted.
Pure-Python library for working with bit vectors.
Add a description, image, and links to the bitvector topic page so that developers can more easily learn about it.
To associate your repository with the bitvector topic, visit your repo's landing page and select "manage topics."