Bitat A, Merniz S. Formal verification of pipelined cryptographic circuits: A functional approach. IJCAI [Internet]. 2021 Dec. 17 [cited 2026 Jan. 10];45(4). Available from: https://informatica.si/index.php/informatica/article/view/3176