Linked from
The 20 pages that link to Cryptanalysis, each with the reason it gives.
CryptographyRelated: Security claims are tested by analyzing how systems fail under attack.
SAT solverRelated: SAT encodings can search for keys or inputs that satisfy a cipher's constraints.
EncryptionRelated: It tests whether ciphertext can be understood without the intended key.
Military intelligenceRelated: Breaking wartime codes transformed intelligence about adversary plans.