search

mallory / e2ee

6 stars 6 forks source link

Better definition of properties #14

Closed claucece closed 2 years ago

claucece commented 2 years ago

Starting this PR for working on some formal definitions of the properties.