Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation

Open in new window