Lara, P., 		Henriques, F., & 		Oliveira, F.
2020 out 13.  Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :