HMAC (RFC 2104), over any Hash

def Cryptlib.Primitives.MAC.HMAC.hmac (H : Hash.Hash.Hash) (key msg : ByteArray) : Vector UInt8 H.digestSize

Keys longer than the hash's block are first hashed down, per RFC 2104 §2.

Equations

• One or more equations did not get rendered due to their size.

def Cryptlib.Primitives.MAC.HMAC.hmacMAC (H : Hash.Hash.Hash) : MAC

Equations

• Cryptlib.Primitives.MAC.HMAC.hmacMAC H = { keySize := H.digestSize, tagSize := H.digestSize, mac := Cryptlib.Primitives.MAC.HMAC.hmac H }

def Cryptlib.Primitives.MAC.HMAC.hmacSha256 (key msg : ByteArray) : Vector UInt8 32

Equations

• Cryptlib.Primitives.MAC.HMAC.hmacSha256 key msg = Cryptlib.Primitives.MAC.HMAC.hmac Cryptlib.Primitives.Hash.Sha2.Sha256.Scheme key msg

def Cryptlib.Primitives.MAC.HMAC.hmacSha256MAC : MAC

Equations

• Cryptlib.Primitives.MAC.HMAC.hmacSha256MAC = { keySize := 32, tagSize := 32, mac := Cryptlib.Primitives.MAC.HMAC.hmacSha256 }