We produce research in formal methods, security, and cryptography, specializing in the analysis of high-stakes systems. We do not sleep until our work is done.
Consulting
We offer high-octane consulting services for clients who require software be proven bulletproof, or thoroughly exploited. Our areas of expertise are the following:
Auditing formally specified and verified software
Analysis of cryptographic and distributed system implementations
Compliance analysis with IETF, IANA, and NIST standards