Lara, P., 		Henriques, F., & 		Oliveira, F.
(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>, (pp. 43-54). Porto Alegre: SBC.
doi:10.5753/sbseg.2020.19226