Lara, Pedro, Felipe da R. Henriques, and Fábio B. de Oliveira.
" Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools." <em>Anais do XX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Petrópolis, 2020</em>. SBC, 2020,  
pp.43-54.