boltlabs-inc / key-mgmt-spec

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

TBD: Changes regarding export key, deriving master key + domain separation #146

Open gijsvl opened 1 year ago

gijsvl commented 1 year ago

TBD, see also: https://github.com/boltlabs-inc/key-mgmt/issues/356

These are the changes as implemented in the above issue: