semi-formal security argument / security verification #17
Description
The security argument today is very hand-wavy, and desperately needs some more 👀. Ideally have something semi-formal.
{{ message }}
The security argument today is very hand-wavy, and desperately needs some more 👀. Ideally have something semi-formal.