Lara, Pedro, 		Henriques, Felipe, AND 		Oliveira, Fábio.
" Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (13 October 2020)