Symbolic Software

Relevant and expert assessment of your real-world cryptographic guarantees.

Symbolic Software brings wide-ranging experience in cryptographic software audits. Whether you're writing an email client with end-to-end encryption, launching the next cryptocurrency wallet or designing the next authentication framework, we've got you covered.


Software audits.

We've helped produce comprehensive software audit reports for projects written in JavaScript, Go, Rust, Swift, Java, .NET and more. We've helped uncover critical vulnerabilities in PGP encryption within Mozilla Thunderbird. We've helped design more secure device pairing protocols for password managers such as RememBear. We've also worked on auditing and securing vital cryptocurrency technologies, such as MetaMask.

Smart contract assessment.

Symbolic Software has worked on designing and launching secure ERC-20 compliant smart contracts, focusing on security without compromising features.

Our clients and partners.

We're proud of our clients, and we especially cherish the partnerships that we've been able to establish along the way. We frequently collaborate with Cure53, one of the world's leading web security firms and continuously bring in insight from renowned contributors in applied cryptography. Here's what our partners have to say about us:

“We have been working together with Symbolic Software as auditors for cryptographic software. They are reliable, precise, honest, thorough and think outside the box.” — Mario Heiderich. Director, Cure53.


“Symbolic Software is run by an accomplished researcher, with significant contributions in the area of applied cryptography. He is also a meticulous programmer well-versed in security, and is therefore the right person for projects that require rigorous design and engineering such as privacy-oriented web applications.” — Jean-Philippe Aumasson. Co-founder, Teserakt.