System9 Research
Foundational research, formal specifications, and peer-reviewed papers
The publication arm of System9. Our work spans distributed cryptographic protocols, distributed-systems primitives, the algebraic foundations that ground them, and the physical realizations that make them tangible.
Research areas
Cryptography
Protocols, primitives, and formal security proofs.
Distributed systems
Consensus, partition tolerance, self-healing replication.
Voting
End-to-end verifiable elections across sovereign jurisdictions.
Mathematics
Number theory, algebra, foundational structures.
Physics demonstrations
Mechanical realizations of mathematical structures.
Formal specifications
Threat models, security games, machine-verifiable artifacts.
Distributed intelligence
Agent systems, multi-agent consensus, metacognition.