International Conference on Electrical, Electronic and Computer Engineering, 2004. ICEEC '04. 2004
DOI: 10.1109/iceec.2004.1374373
|View full text |Cite
|
Sign up to set email alerts
|

Design of a proven correct SHA circuit

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 specijication.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2005
2005
2005
2005

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 2 publications
(1 reference statement)
0
0
0
Order By: Relevance