This is Symbolic Software.

We make applied cryptography software.
(And also the most popular Othello software in Japan on macOS.)

Research software for applied cryptographers...

Verifpal^®

Cryptographic protocol design and analysis for the real world.

Noise Explorer

Design and explore Noise-based protocols.

...and high quality software for everyone.

Piccolo^®

The best Othello experience for macOS and iOS.

Security and cryptographic audit services are on hold.

Symbolic Software was founded in 2017 and has since them participated in over 300 cryptographic and software audits.

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.

Recently, we worked with the Linux Foundation to audit some of the most important COVID-19 contact tracing apps in Europe.

As of 2021, due to a surplus of booked work and planned projects, we are not accepting new clients for security and cryptographic auditing services.

Blog • Twitter • Source