Let's Chat
At Symbolic Software, we're proud to provide advanced research software that contributes to peer-reviewed scientific publications, benefiting cryptographers and engineers worldwide. Our solutions are designed to enhance your understanding and application of cryptography, ensuring that your protocols are secure and reliable.
Start a Project
Verifpal® is our innovative software solution for analyzing the security of cryptographic protocols. It's designed to bring the power of symbolic formal verification to practitioners, students, and engineers who demand real-world applicability without losing the robustness of comprehensive verification features. Our flagship software!
Noise Explorer is an online engine for reasoning about Noise Protocol Framework Handshake Patterns. Noise Explorer allows you to design Noise Handshake Patterns, generate formal verification models, explore a compendium of pre-computed formal verification results, and even generate secure software implementations in Go and Rust.
Kyber-K2SO is Symbolic Software's clean implementation of the Kyber IND-CCA2-secure key encapsulation mechanism (KEM), whose security is based on the hardness of solving the learning-with-errors (LWE) problem over module lattices. Kyber is the winning candidate algorithm, of those submitted to the NIST post-quantum cryptography project.
Choose Symbolic Software as your trusted partner in enhancing security and fostering integrity within the digital ecosystem.
Start a Project