Tools-for-Cryptanalysis