2023.06.14 12:26:39 (Mastodon 110542559613911606, Twitter 1668958150441984000) from Daniel J. Bernstein:
Pleased to announce CryptAttackTester, a framework to systematically catch bugs in cryptanalysis. CAT tests analyses of completely specified algorithms in a simple, fully defined cost metric. Includes many ISD attacks + AES-128. Joint work with @TungChou1. https://cat.cr.yp.to