Browsing Theses by Supervisor "Aagaard, mark"
Now showing items 1-1 of 1
-
A graph based approach for formal verification of Galois field multipliers
(University of Waterloo, 2022-08-22)Data transfer between devices has increased rapidly with improvements in technology and the internet. To protect data from hackers, data is encrypted using methods of cryptography. To make the process of encryption faster, ...