Lara, P., 		Henriques, F., & 		Oliveira, F.
(2020).
 Converting Symmetric Cryptography to SAT Problems Using Model Checking Tools.
In <em>Proceedings of the 20th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 43-54). Porto Alegre: SBC.
doi:10.5753/sbseg.2020.19226