Towards formal verification of cryptographic circuits: A functional approach. - Bitat, Abir; Merniz, Salah (2018)