Applied cryptography,
since 2017.
An independent practice in Paris. We do design-level security work — protocol architecture, primitive selection, threat modeling, and formal verification — for organizations that ship cryptography to people who depend on it.
Symbolic Software was founded in 2017 by Dr. Nadim Kobeissi in Paris, with a thesis that has only become more pressing: security has to start at the design level — the protocol architecture, the cryptographic choices, the threat model — because everything downstream is a consequence of those decisions.
That focus has held across more than 250 engagements with organizations including 1Password, Mozilla, Zoom, Coinbase, Bitwarden, and the Linux Foundation. We audit at the layer above implementation, where AI bug-finders cannot help and humans still must. We also publish open-source tools that came out of our own audit work — Verifpal for protocol verification, Crucible for post-quantum conformance testing, the Post-Quantum Migration Playbook for engineers planning migrations.
Since 2025 we have also been teaching: a free university-level Applied Cryptography course offered to 50 students at Lebanese universities each summer, and the Cedarcrypt summer school and research conference run with the IACR. The mission has not changed since 2017 — make applied cryptography insights accessible to industry — but the urgency has.
Company information.
Privacy policy.
Our software is built by people who care about privacy. We collect nothing by default — no tracking, no metrics, no analytics. The only exception is when an online service we operate genuinely requires minimal data to function, and you have chosen to use it.
No information is ever shared with third parties under any circumstances, or used beyond the functionality you specifically consented to. If you have a question about what data a particular service of ours touches, write to [email protected] and we will tell you exactly.
Ready to secure your architecture?
AI is changing what attackers can do. We help you change what they find.
Get in touch →