Lara, Pedro, 		Henriques, Felipe, E 		Oliveira, Fábio.
" Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (13 outubro 2020)