Master your Cryptographic Infrastructure

Cryptosense software enables development and deployment of crypto while ensuring compliance and security.

From 2011 to 2014, 17%* of crypto vulnerabilities in the CVE list were found in cryptographic libraries. The remaining 83% occurred in applications.

The 4-step Cryptosense approach to testing provides a holistic security solution for both libraries and applications.




A compliant cryptography provider is the first step towards a secure solution. Try our compliance tester for PKCS#11 APIs.

4 step icons2


Vulnerabilities arise when commands that are individually secure, are used in combination. Cryptosense configuration software finds these combinations.

4 step icons3

App Tracing

Once the configuration is secure, the application has to make use of the interface in a secure way. Cryptosense App Tracer analyses the calls made to the crypto interface.

4 step icons4


Cryptosense Monitor continually checks configurations and key usage, sending alerts if out-of-standard configurations are found and providing reports for audits.



 * “Why does cryptographic software fail? A case study and open problems” – David Lazar, Haogang Chen, Xi Wang, and Nickolai Zeldovich – Published at APSys ’14, June 25-26, 2014, Beijing, China.


The Cryptosense Software Suite

Smart Fuzzing

Our Compliance Tester is based on well-typed smart fuzzing. Paying attention to types ensures that test cases are meaningful.

Model Learning

Cryptosense Simulator constructs a logical model of the operation of each API function using our symbolic machine learning algorithm.

Model Checking

The model-checker uses a mixture of control-flow abstraction techniques and results from years of academic research to analyze system configuration, discovering and preventing attacks.


Product Information

Free demo version of Cryptosense Compliance Tester for PKCS#11. Make sure your PKCS#11 implementation covers every detail.

See how Cryptosense software imitates an intelligent attacker to find and prevent attacks on your specific installation.

Ensure your secured infrastructure stays that way with Cryptosense Monitor.



Cryptosense PKCS#11 Compliance Tester

Try a demo - runs on Linux and Windows