Browsing Theses by Author "Lam, Chiu Hong"
Now showing items 1-1 of 1
-
Verification of Pipelined Ciphers
Lam, Chiu Hong (University of Waterloo, 2009-01-29)The purpose of this thesis is to explore the formal verification technique of completion functions and equivalence checking by verifying two pipelined cryptographic circuits, KASUMI and WG ciphers. Most of current methods ...