Merniz, Salah, MISC Laboratory, NTIC faculty, Abdelhamid Mehri University of Constantine, Algeria

• Vol 45, No 4 (2021) - Regular papers
  Formal verification of pipelined cryptographic circuits: A functional approach
  Abstract  PDF