Add HMAC bypass mode - Githubissues

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.

Apache License 2.0

123 stars 20 forks source link

Closed blaxill closed 2 years ago

blaxill commented 2 years ago

Update the HMAC state machine to include HMAC bypass mode (aka. SHA256 mode)

blaxill commented 2 years ago

Updated the HMAC circuit to separate concerns (e.g. no registers in the inner most block)
Updated temporary examples to use the top level TL interface
Added the beginnings of a specification for the HMAC