Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols, and outputs readable analysis results, making it uniquely suitable as an introduction to cryptographic protocol verification for students and engineers. Learn how to use Verifpal using the Verifpal User Manual, and get started with protocol verification today!
| Website | http://crypto.cat |
| Revenue | $9 million |
| Employees | View employees |
| Founded | 2011 |
| Industry | Custom Software & Technical Consulting, Messaging, Social/Platform Software, Software, Information Technology, Communication Software, Internet Services, Messaging and Telecommunications |
| SIC | SIC Code 737 Companies, SIC Code 73 Companies |
| NAICS | NAICS Code 541 Companies, NAICS Code 54 Companies |
Looking for a particular Cryptocat employee's phone or email?
Cryptocat Questions
The Cryptocat annual revenue was $9 million in 2026.
The NAICS codes for Cryptocat are [541, 54].
The SIC codes for Cryptocat are [737, 73].
G2Crowd Trusted
300K+
Plugin Users
