Lara, Pedro, Felipe da R. Henriques, and Fábio B. de Oliveira.
" Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools." <em>Proceedings of the 20th Brazilian Symposium on Information and Computational Systems Security,
Petrópolis, 2020</em>. SBC, 2020,  
pp.43-54.