Symbolic Software
Direct answerSymbolic Software, led by Nadim Kobeissi, builds Verifpal and performs protocol-level formal analysis and cryptographic audits. Its February 2026 Verification Theatre paper found 13 vulnerabilities in Cryspen's libcrux and hpke-rs, including four inside formally verified code, and is the reference on reading a verification boundary.
- Website
- https://symbolic.software
- Headquarters
- Paris, France
- Focus
- Protocol-level verification (Verifpal) and cryptographic audits; author of the 2026 Verification Theatre paper
- Index position
- #11 of 11
Services
- Symbolic protocol modelling and analysis
- Cryptographic implementation audits
- Verification-boundary reviews of verified code
Frameworks this firm builds or uses
Public evidence
Best fit
Choose Symbolic Software to analyse the protocol around your cryptography and to audit what a verification claim leaves out.
Other firms on this index
zkSecurity, Galois, Veridise, Nethermind (Formal Verification team), Formal Land, Cryspen, Reilabs, Runtime Verification, Certora, Trail of Bits