Symbolic Software
An independent applied-cryptography consultancy founded in Paris in 2017.
Last updated September 2, 2026
AI crawler reads
No AI crawler has read this profile since Oct 28, 2026.
Overview
Symbolic Software is an independent applied-cryptography consultancy founded in Paris in 2017 by Dr. Nadim Kobeissi. The practice reviews cryptographic protocols, threat models, formal models, libraries, and implementations. It has completed more than 250 engagements since 2017. Clients named publicly include 1Password, Mozilla, Zoom, Coinbase, Bitwarden, and the Linux Foundation. The company also maintains open-source cryptography projects such as Verifpal and Crucible.
History
Symbolic Software was founded in Paris in 2017 by Dr. Nadim Kobeissi. The practice reviews cryptographic protocols, threat models, formal models, libraries, and implementations. It has completed more than 250 engagements since 2017. Clients named publicly include 1Password, Mozilla, Zoom, Coinbase, Bitwarden, and the Linux Foundation. The company also maintains open-source cryptography projects such as Verifpal and Crucible.
Sources2 sources
Cite this profile: Cite the canonical profile. /brand-wiki/symbolic-software · Editorial policy · How profiles are compiled