Title :
Design of a proven correct SHA circuit
Author :
Toma, Diana ; Perez, Annie ; Borrione, Dominique ; Bergeret, Emmanuel
Author_Institution :
TIMA
Abstract :
The standard SHA hash functions have been formalized, and the validity of the model has been proven correct with a mechanized theorem prover. A hardware component implementing the SHA has been designed, and proven compliant to the functional specification.
Keywords :
Application software; Circuits; Cryptography; Hardware; Logic; Registers; Smart cards;
Conference_Titel :
Electrical, Electronic and Computer Engineering, 2004. ICEEC '04. 2004 International Conference on
Conference_Location :
Cairo, Egypt
Print_ISBN :
0-7803-8575-6
DOI :
10.1109/ICEEC.2004.1374373
