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 Cibersegurança (SBSeg)</em> [Online], (13 outubro 2020)