Bitat, A. and Merniz, S. (2021) “Formal verification of pipelined cryptographic circuits: A functional approach”, Informatica, 45(4). doi: 10.31449/inf.v45i4.3176.