[cryptattacktester] (PDF) Daniel J. Bernstein, Tung Chou. "CryptAttackTester: high-assurance attack analysis." Crypto 2024, to appear. Date: 2024.06.12. Permanent ID: b30b63698b0641bffa96905e40863d15ceddb8ef. URL: https://cat.cr.yp.to/papers.html#cryptattacktester. Supersedes: 2023.10.20 PDF. 2023.06.14 PDF.