BITAT, Abir; MERNIZ, Salah. Formal verification of pipelined cryptographic circuits: A functional approach. Informatica, [S. l.], v. 45, n. 4, 2021. DOI: 10.31449/inf.v45i4.3176. Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/3176. Acesso em: 8 aug. 2025.