Open AccessFormal verification of pipelined cryptographic circuits: A functional approach
Author(s) -
Abir Bitat,
Salah Merniz
Publication year - 2021
Publication title -
informatica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.172
H-Index - 34
eISSN - 1854-3871
pISSN - 0350-5596
DOI - 10.31449/inf.v45i4.3176
Subject(s) - computer science , correctness , cryptography , cryptographic protocol , cryptographic primitive , formal verification , encryption , functional encryption , formal equivalence checking , formal methods , theoretical computer science , computer engineering , embedded system , algorithm , programming language , ciphertext , computer network