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 Cibersegurança (SBSeg). [Online] :