P. Lara, F. Henriques, and F. Oliveira.
"Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools", in <em>Anais do XX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Petrópolis, 2020, pp. 43-54, doi: <a href="https://doi.org/10.5753/sbseg.2020.19226">https://doi.org/10.5753/sbseg.2020.19226</a>.