Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Symbolic Software is an applied cryptography consultancy founded in 2017 in Paris. Over 250 design-level security audits — Mozilla, 1Password, Coinbase.
News
Verifpal Reaches 1.0: A Toy Becomes an Instrument
Verifpal 1.0 is out. Since May 2020, Verifpal has printed the same warning at the top of its analyses: Verifpal is Beta software. Version 1.0 deletes that line. What justifies the deletion is a new paper, Verifpal Seven Years Later: Can a Toy Become an In
Read more
Report
Verifpal 0.80.0: Nuancing Weak Cryptography Modeling and Witness-Based Unlinkability
Verifpal 0.80.0 is out, a few days behind 0.70.0 . The two releases do quite different kinds of work, and it is worth separating them at the outset: 0.70.0 changed how you write models, while 0.80.0 changes what a model is able to say. There are two addit
Read more
Report
Verifpal 0.70.0: Post-Quantum Key Exchange, and an Attacker That Works Backwards
Verifpal 0.70.0 is out. It is the biggest change to the Verifpal language since the project started, and the first release in years that asks you to edit your existing models, so this post goes through what changed and why. Three things landed. Diffie-Hel
Read more
Report
Meet the Symbolic Software Summer 2026 Team
Symbolic Software is a bigger team than usual this summer, and we'd like you to meet everyone. Five people joined us: two research interns, Lorenzo and Hossein, who came on board through our Summer 2026 research internship , and three teaching assistants,
Read more
Report
Why I Teach Cryptography in Lebanon
Cedarcrypt , an applied cryptography summer school and conference, concluded on July 16 after four days at the American University of Beirut's campus in Paphos, Cyprus, about two hundred kilometers of sea from Lebanon. All year, colleagues and friends hav
Read more
Report
Pro access
Upgrade to see all 38 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.