DocumentCode
2225541
Title
Design of a proven correct SHA circuit
Author
Toma, Diana ; Perez, Annie ; Borrione, Dominique ; Bergeret, Emmanuel
Author_Institution
TIMA
fYear
2004
fDate
5-7 Sept. 2004
Firstpage
31
Lastpage
34
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical, Electronic and Computer Engineering, 2004. ICEEC '04. 2004 International Conference on
Conference_Location
Cairo, Egypt
Print_ISBN
0-7803-8575-6
Type
conf
DOI
10.1109/ICEEC.2004.1374373
Filename
1374373
Link To Document