On Cryptographic Attacks Using Backdoors for SAT

Open in new window