Symbolic Software

We focus on modern insight into applied cryptographic systems.

Comprehensive auditing for cryptographic software.

Is your software secure enough for the real world? Symbolic Software offers audits for your internal security infrastructure and software code including cryptographic protocols and routines. We've audited the core cryptographic components of world-leading collaboration platforms, password managers, wallets, cryptocurrencies and more.
See who our clients are and become one today.


Design and formal verification for cryptographic systems.

Bring in the experience and knowledge necessary to help you design, or prove secure, state-of-the-art cryptographic systems for new solutions. We've helped design and formally verify some of the world's most widely used cryptographic protocols.
Start using our software and putting our research to use today.


An active partner in applied cryptography research.

We've designed novel protocols for untapped use cases such as collaborative document editing and more. We also support applied cryptography research — here are a few conferences that we've sponsored:
IACR Real World Crypto 2019, IEEE EuroS&P 2017