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

Abir Bitat Salah Merniz

Published in: RIF (2022)

Keyphrases

block cipher
circuit design
s box
high level synthesis
hash functions
formal methods
data sets
lightweight
low complexity