This is Symbolic Software.
Cryptographic protocol design and analysis for the real world.
Design and explore Noise-based protocols.
An upcoming indie puzzle game!
The best Othello experience for macOS and iOS.
Symbolic Software was founded in 2017 as French-Lebanese applied cryptographer and software engineer Nadim Kobeissi's cryptography consulting outfit.
Since 2017, Symbolic Software has led and participated in over 300 cryptographic and software audits. Nadim and his collaborators helped uncover critical vulnerabilities in PGP encryption within Mozilla Thunderbird, helped design more secure device pairing protocols for password managers such as RememBear and 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.
In early 2021, Symbolic Software's cryptography services were suspended following Nadim assuming the role of CEO at Capsule Social, an independent startup company.
Since then, Symbolic Software has published indie software projects, such as Piccolo, a neat little Othello app that somehow topped the Mac App Store charts in Japan for four months in a row, and Dr. Kobushi's Labyrinthine Laboratory, an ambitious upcoming puzzle game for PC, Mac, Linux and Nintendo Switch.