• Using SMT Solvers to Automate Chosen Ciphertext Attacks https://eprint.iacr.org/2019/958 3 comments 28/8/2019 cryptography , security