Abir Bitat

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Formal Verification

Ontology Development

Top Venues

Informatica (Slovenia)

Publications

Abir Bitat, Salah Merniz
Formal design and verification of cryptographic circuits: Application to symmetric block ciphers. RIF (2022)
Abir Bitat, Salah Merniz
Formal verification of pipelined cryptographic circuits: A functional approach. Informatica (Slovenia) 45 (4) (2021)
Abir Bitat, Salah Merniz
Formal verification of cryptographic circuits: A semi-automatic functional approach. NISS (2019)
Abir Bitat, Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. PAIS (2018)