Pedro Lara, Felipe Henriques, and Fábio Oliveira. 2020.
 Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools. In <em>Proceedings of the 20th Brazilian Symposium on Information and Computational Systems Security</em>, October 13, 2020, Petrópolis, Brasil. SBC, Porto Alegre, Brasil, 43-54. DOI: <a href="https://doi.org/10.5753/sbseg.2020.19226">https://doi.org/10.5753/sbseg.2020.19226</a>.