CryptAttackTester: formalizing attack analyses

ePrint Report: CryptAttackTester: formalizing attack analyses

Daniel J. Bernstein, Tung Chou

Quantitative analyses of the costs of cryptographic attack algorithms play a central role in comparing cryptosystems, guiding the search for improved attacks, and deciding which cryptosystems to standardize. Unfortunately, these analyses often turn out to be wrong.


Formally verifying complete proofs of attack performance is a natural response but crashes into an insurmountable structural problem: there are large gaps between the best proven cost among known attack algorithms and …

algorithms attack attacks daniel eprint report performance play quantitative report role search turn