Verifpal and Piccolo

This is Symbolic Software.

We make applied cryptography software.
(and also video games.)

Our Story

Symbolic Software was founded in 2017 as French-Lebanese applied cryptographer and software engineer Nadim Kobeissi's cryptography consulting outfit.

2017—2020: Cryptography Consulting.

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.

2021—: Indie Software Projects.

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 puzzle game for PC, Mac, Linux and Nintendo Switch.


© 2017— Symbolic Software. All Rights Reserved. “Verifpal”, “Piccolo”, and “Dr. Kobushi's Labyrinthine Laboratory” are registered trademarks. • 🇯🇵 日本語LegalEmail