@inproceedings{beck2020automating,
  title={Automating the Development of Chosen Ciphertext Attacks},
  author={Beck, Gabrielle and Zinkus, Maximilian and Green, Matthew},
  booktitle={29th $\{$USENIX$\}$ Security Symposium ($\{$USENIX$\}$ Security 20)},
  year={2020}
}