Pedro Lara, Felipe Henriques, and Fábio Oliveira. 2020.
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>, outubro 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>.