Cryptosense software employs a unique mix of formal analysis, symbolic machine learning and cryptanalysis to find security flaws in cryptographic systems before your adversaries do. Our customers include banks and government security agencies. Based in central Paris, the Cryptosense team has over 40 years experience of applied cryptography in academia and industry.
Cryptosense Software Suite
Conventional vulnerability management
software checks a list of known attacks.
Cryptosense software imitates an
intelligent attacker to find and prevent
attacks on your specific installation.
Cryptosense Analyzer is the core software offering of Cryptosense. The Analyzer works by using a combination of a patent-pending symbolic machine learning algorithm and a custom developed model-checker. It learns a model of an HSM, Smartcard or software crypto interface under test, creates a model of the device in memory, and searches the model for flaws. Attacks found include cryptanalytic attacks, logical key management policy flaws, implementation errors, and combinations of these. All vulnerabilities found in the model can be tested directly on the device, eliminating false positives.
The attack methodology embodied in Cryptosense is unique.Technical Director
A European national security agency
Working for Cryptosense
Cryptosense is an equal opportunities employer always interested in hearing from talented and enthusiastic software developers and engineers. To find out more you can see our current vacancies or send your CV to moc.e1411493067sneso1411493067tpyrc1411493067@sboj1411493067.
Receive our PKCS#11 Whitepaper
Our free guide to securing PKCS#11 including attacks, mitigations, and what’s changing in version 2.40.