search

boltlabs-inc / key-mgmt-spec

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

Audits #88

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Closes #36.

Would like to request @vidyaap to collaborate on finishing this draft PR:

Anyone on the team should be able to review the completed PR.