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

Formal verification of cryptographic circuits: A semi-automatic functional approach. - Abir Bitat; Salah Merniz (NISS, 2019)

Formal verification of pipelined cryptographic circuits: A functional approach. - Abir Bitat; Salah Merniz (Informatica (Slovenia), 2021)

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers. - Abir Bitat; Salah Merniz (RIF, 2022)