Protocol design & review
New constructions, and old ones under new assumptions
A threat model written down in plain language, an argument for why the construction meets it, and an honest account of what it does not cover. Whether that is a key-agreement handshake, a threshold signing scheme, a commitment protocol, or a migration plan toward post-quantum primitives, the deliverable is the same: a document your engineers and your auditors can both read, that says what is proven, what is assumed, and what is merely hoped.
- Threat model and security goals, stated before the design
- Security argument, with the assumptions named
- Parameter selection and the reasoning behind every number
- The gap between the paper and what will actually ship