Skip to main content

Research area

Formal specifications

Threat models, security games, machine-verifiable artifacts.

1 paper tagged formal-specifications.

Draftcryptographyvoting

SOVEREIGN, Security Spec

Formal security specification for the SOVEREIGN voting system. Threat models, security proofs, and protocol verification for independent cryptographer review.

2026-03-3072 min readSystem9 EngineeringIndependent cryptographer review