Research partners for companies working on the frontiers
What we do
We work as part of your team, applying our expertise and advising across every stage of research and development. From reviewing existing implementations to producing novel research and designs, we solve the hardest problems facing your project.
Cryptography Research We design and prove new cryptographic primitives and constructions when an existing scheme doesn't meet your security or performance requirements.
Where standard primitives are too slow, too large, or don’t fit your trust model, we build ones that meet the security requirements and parameters your product relies on. We work from the underlying assumptions up, so the result holds under scrutiny and review.
Protocol & Systems Design Research and architecture for distributed systems and cryptographic protocols.
We take a system from problem statement to a specified, defensible architecture: the protocol, its security model, the trade-offs, and why each decision was made. Getting this right at the design stage is far cheaper than discovering a structural flaw after launch.
Cryptographic Design Review We review your protocol and its security proofs against known attacks and our own analysis, showing you where the assumptions break.
We examine and formalize your protocol as designed: its threat model, security assumptions, and proofs. You get an assessment of the weaknesses we find, and concrete recommendations to fix them.
Protocol Research Targeted research on proof systems, secure computation, and cryptographic primitives: for problems where the existing literature stops.
When your project depends on a result that doesn’t exist yet, we do the research to produce it: surveying the state of the art, designing the construction, and proving its security.
Formal Verification Machine-checked proofs that your system behaves exactly as specified.
We formalize your specification and produce machine-checked proofs that the implementation meets it, covering every input rather than only the cases a test suite covers. This is the level of assurance needed when a single edge-case failure is unacceptable.
Game Theory Mechanism design and incentive analysis to ensure your protocol stays secure when participants act in their own interest.
Cryptographic security assumes honest execution; economic security does not. We model how rational and adversarial participants will actually behave under your incentives and show where the protocol can be gamed, censored, or attacked.