Let's Chat
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
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.
Our software was engineered by people who care about personal privacy. We are committed towards protecting the privacy of all our users, and we believe that we go far above and beyond the privacy offerings of what's usually offered in today's software space.
By default, All our software does not collect any information whatsoever. We do not employ any form of tracking, metrics, etc. — with the only exception being minor information collection necessary in order to allow online services to function, should the user decide to use them.
No information is ever shared with third parties under any circumstances, or used in any way beyond the facilitation of functionality that the user has consented to.
Choose Symbolic Software as your trusted partner in enhancing security and fostering integrity within the digital ecosystem.
Start a Project