Customers / Case study
Agreeing with the laboratory to the last digit
The vendor builds cryptographic modules that go to validation. The min-entropy of its noise source is now estimated by an engine whose output matches the laboratory’s, and its move to post-quantum algorithms started from an inventory, not a guess.
The result in three figures
-
0
Digits of difference from the laboratory’s estimator output
-
1,240
Cryptographic assets found in the post-quantum inventory
-
1st
Attempt at the laboratory’s entropy assessment, and it passed
The situation
A cryptographic module that is submitted for validation must show that its noise source carries the entropy that its design claims, and the laboratory estimates it with the methods of NIST SP 800-90B. The vendor had its own implementation of the estimators, and every difference between it and the laboratory’s was a week of correspondence about whose was right.
In parallel the company had to plan its move to post-quantum cryptography, which began with a question that no one could answer: where, in a product line of fourteen years, is public-key cryptography used, and by what.
What changed
GraphAtlas runs the estimators on the kernel with every operation defined, so that the output is the same on any machine and agrees with the laboratory’s to the last digit. The first run on a submission reproduced the laboratory’s figures from the previous evaluation to the last digit, and a difference that had been a week of correspondence became a comparison of two receipts, which takes a minute.
The post-quantum inventory reads the build artefacts of the product lines and lists each use of an algorithm that a quantum computer would break, with the library it comes from and the product that ships it.
The result
The entropy assessment passed the first time at the laboratory, and the 1,240 assets of the inventory are the schedule of the migration, ordered by how long each product stays in the field.
The estimator output matched the validation lab to the last digit. We stopped arguing about whose tool was right.
What they run
The engines behind it
This customer runs 2 engines from GraphAtlas, on the same kernel. Each page shows the calculation, the clauses it covers and the evidence for it.
Keep reading
More from our customers
- Major UK bank SIMM, FRTB-SA 5.8 h Median time to settle a margin dispute, from 4.2 days A margin dispute that took four days now takes an afternoon Read the study
- Major Swiss reinsurer Solvency II, ICS, Reserving and ESG 4 days To close the group capital run, from 9 days Quarter-end, reproduced on any machine Read the study
- Major EU vehicle manufacturer WLTP 9,412 Individual vehicle CO₂ figures in a type-approval update Every option combination, its own CO₂ figure Read the study