Abir Bitat

According to our database, Abir Bitat authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2022

Formal design and verification of cryptographic circuits: Application to symmetric block ciphers.

Abir Bitat, Salah Merniz

Proceedings of The 11th Seminary of Computer Science Research at Feminine (RIF 2022) LIRE Laboratory, 2022

2021

Formal verification of pipelined cryptographic circuits: A functional approach.

Abir Bitat, Salah Merniz

Informatica (Slovenia), 2021

2019

Formal verification of cryptographic circuits: A semi-automatic functional approach.

Abir Bitat, Salah Merniz

Proceedings of the 2nd International Conference on Networking, 2019

2018

Towards formal verification of cryptographic circuits: A functional approach.

Abir Bitat, Salah Merniz

Proceedings of the 2018 3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), 2018