Closed chris-wood closed 2 years ago
We've grown past the point of being able to reason about security and privacy properties on paper. We should have a model for this protocol. =)
This has been done, I believe
tfpauly
commented
2 years ago tfpauly
commented
2 years ago
We've grown past the point of being able to reason about security and privacy properties on paper. We should have a model for this protocol. =)