Founded in 2018, Symbolic Software is an applied cryptography team based in Paris that champions global digital security through extensive services, including security audits, cryptographic protocol design, and formal verification. We pride ourselves on delivering over 250 comprehensive software and cryptographic audits for clients worldwide and advancing the field of cryptography with our research software.

Beyond our traditional scope, we ventured into the gaming industry and published Dr. Kobushi's Labyrinthine Laboratory, an indie puzzle adventure game for Nintendo Switch and Steam, in September 2022. The game has received acclaim from both critics and players alike.

Symbolic Software continues to contribute applied cryptography and security research that provides a direct benefit to practitioners, continually evolving to meet the growing demands of digital security in a rapidly changing world. We believe in empowering businesses and individuals through robust, secure, and verifiable cryptographic systems.

Start a Project