About Symbolic Software

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

Publications & Presentations

Here are some miscellaneous links to some presentations and papers that we've contributed to in the past few years, but don't exactly know where else to put on the website.

Want to Work Together?

Choose Symbolic Software as your trusted partner in enhancing security and fostering integrity within the digital ecosystem.

Start a Project