Tools for cryptographic security analysis

A fresh approach to crypto vulnerability testing based on formal analysis techniques.

Securing cryptographic infrastructure

Cryptosense Analyzer simulates intelligent attackers, and suggests the changes needed to keep them out.

See the Cryptosense Analyzer software in action

Watch a demonstration video of our crypto interface security analysis tool for PKCS#11.

Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems.

A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.

The attack methodology embodied in Cryptosense is unique.Technical Director
A European national security agency

Cryptosense Analyzer

Find out more about the Cryptosense Analyzer software.

Read more


Cryptosense Analyzer for PKCS#11 is now available

Watch the demo video to see the Analyzer in action