search

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project
MIT License
3 stars 2 forks source link

Add details about HKDF library #103

Closed marsella closed 2 years ago

marsella commented 2 years ago

Closes #71. Checks two boxes in #49.

Also clarifies usage in the cryptographic flows.