LICENSE
README.md
setup.cfg
setup.py
claasp/__init__.py
claasp/cipher.py
claasp/component.py
claasp/compound_xor_differential_cipher.py
claasp/editor.py
claasp/input.py
claasp/name_mappings.py
claasp/round.py
claasp/rounds.py
claasp.egg-info/PKG-INFO
claasp.egg-info/SOURCES.txt
claasp.egg-info/dependency_links.txt
claasp.egg-info/requires.txt
claasp.egg-info/top_level.txt
claasp/DTOs/__init__.py
claasp/DTOs/component_state.py
claasp/DTOs/power_of_2_word_based_dto.py
claasp/cipher_modules/__init__.py
claasp/cipher_modules/algebraic_tests.py
claasp/cipher_modules/avalanche_tests.py
claasp/cipher_modules/code_generator.py
claasp/cipher_modules/component_analysis_tests.py
claasp/cipher_modules/continuous_diffusion_analysis.py
claasp/cipher_modules/division_trail_search.py
claasp/cipher_modules/evaluator.py
claasp/cipher_modules/generic_bit_based_c_functions.c
claasp/cipher_modules/generic_bit_based_c_functions.h
claasp/cipher_modules/generic_functions.py
claasp/cipher_modules/generic_functions_continuous_diffusion_analysis.py
claasp/cipher_modules/generic_functions_vectorized_bit.py
claasp/cipher_modules/generic_functions_vectorized_byte.py
claasp/cipher_modules/generic_word_based_c_functions.c
claasp/cipher_modules/generic_word_based_c_functions.h
claasp/cipher_modules/graph_generator.py
claasp/cipher_modules/inverse_cipher.py
claasp/cipher_modules/neural_network_tests.py
claasp/cipher_modules/report.py
claasp/cipher_modules/tester.py
claasp/cipher_modules/models/__init__.py
claasp/cipher_modules/models/utils.py
claasp/cipher_modules/models/algebraic/__init__.py
claasp/cipher_modules/models/algebraic/algebraic_model.py
claasp/cipher_modules/models/algebraic/boolean_polynomial_ring.py
claasp/cipher_modules/models/algebraic/constraints.py
claasp/cipher_modules/models/cp/__init__.py
claasp/cipher_modules/models/cp/mzn_model.py
claasp/cipher_modules/models/cp/solvers.py
claasp/cipher_modules/models/cp/minizinc_utils/__init__.py
claasp/cipher_modules/models/cp/minizinc_utils/mzn_bct_predicates.py
claasp/cipher_modules/models/cp/minizinc_utils/usefulfunctions.py
claasp/cipher_modules/models/cp/minizinc_utils/utils.py
claasp/cipher_modules/models/cp/mzn_models/__init__.py
claasp/cipher_modules/models/cp/mzn_models/mzn_boomerang_model_arx_optimized.py
claasp/cipher_modules/models/cp/mzn_models/mzn_cipher_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_cipher_model_arx_optimized.py
claasp/cipher_modules/models/cp/mzn_models/mzn_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_deterministic_truncated_xor_differential_model_arx_optimized.py
claasp/cipher_modules/models/cp/mzn_models/mzn_hybrid_impossible_xor_differential_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_impossible_xor_differential_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_wordwise_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_xor_differential_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_xor_differential_model_arx_optimized.py
claasp/cipher_modules/models/cp/mzn_models/mzn_xor_differential_number_of_active_sboxes_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_xor_differential_trail_search_fixing_number_of_active_sboxes_model.py
claasp/cipher_modules/models/cp/mzn_models/mzn_xor_linear_model.py
claasp/cipher_modules/models/milp/__init__.py
claasp/cipher_modules/models/milp/milp_model.py
claasp/cipher_modules/models/milp/solvers.py
claasp/cipher_modules/models/milp/milp_models/__init__.py
claasp/cipher_modules/models/milp/milp_models/milp_bitwise_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/milp/milp_models/milp_bitwise_impossible_xor_differential_model.py
claasp/cipher_modules/models/milp/milp_models/milp_cipher_model.py
claasp/cipher_modules/models/milp/milp_models/milp_wordwise_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/milp/milp_models/milp_wordwise_impossible_xor_differential_model.py
claasp/cipher_modules/models/milp/milp_models/milp_xor_differential_model.py
claasp/cipher_modules/models/milp/milp_models/milp_xor_linear_model.py
claasp/cipher_modules/models/milp/utils/__init__.py
claasp/cipher_modules/models/milp/utils/generate_inequalities_for_and_operation_2_input_bits.py
claasp/cipher_modules/models/milp/utils/generate_inequalities_for_large_sboxes.py
claasp/cipher_modules/models/milp/utils/generate_inequalities_for_wordwise_truncated_mds_matrices.py
claasp/cipher_modules/models/milp/utils/generate_inequalities_for_wordwise_truncated_xor_with_n_input_bits.py
claasp/cipher_modules/models/milp/utils/generate_inequalities_for_xor_with_n_input_bits.py
claasp/cipher_modules/models/milp/utils/generate_sbox_inequalities_for_trail_search.py
claasp/cipher_modules/models/milp/utils/generate_undisturbed_bits_inequalities_for_sboxes.py
claasp/cipher_modules/models/milp/utils/milp_name_mappings.py
claasp/cipher_modules/models/milp/utils/milp_truncated_utils.py
claasp/cipher_modules/models/milp/utils/mzn_predicates.py
claasp/cipher_modules/models/milp/utils/utils.py
claasp/cipher_modules/models/sat/__init__.py
claasp/cipher_modules/models/sat/sat_model.py
claasp/cipher_modules/models/sat/solvers.py
claasp/cipher_modules/models/sat/cms_models/__init__.py
claasp/cipher_modules/models/sat/cms_models/cms_bitwise_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/sat/cms_models/cms_cipher_model.py
claasp/cipher_modules/models/sat/cms_models/cms_xor_differential_model.py
claasp/cipher_modules/models/sat/cms_models/cms_xor_linear_model.py
claasp/cipher_modules/models/sat/sat_models/__init__.py
claasp/cipher_modules/models/sat/sat_models/sat_bitwise_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/sat/sat_models/sat_cipher_model.py
claasp/cipher_modules/models/sat/sat_models/sat_differential_linear_model.py
claasp/cipher_modules/models/sat/sat_models/sat_probabilistic_xor_truncated_differential_model.py
claasp/cipher_modules/models/sat/sat_models/sat_xor_differential_model.py
claasp/cipher_modules/models/sat/sat_models/sat_xor_linear_model.py
claasp/cipher_modules/models/sat/utils/__init__.py
claasp/cipher_modules/models/sat/utils/constants.py
claasp/cipher_modules/models/sat/utils/mzn_predicates.py
claasp/cipher_modules/models/sat/utils/n_window_heuristic_helper.py
claasp/cipher_modules/models/sat/utils/utils.py
claasp/cipher_modules/models/smt/__init__.py
claasp/cipher_modules/models/smt/smt_model.py
claasp/cipher_modules/models/smt/solvers.py
claasp/cipher_modules/models/smt/smt_models/__init__.py
claasp/cipher_modules/models/smt/smt_models/smt_cipher_model.py
claasp/cipher_modules/models/smt/smt_models/smt_deterministic_truncated_xor_differential_model.py
claasp/cipher_modules/models/smt/smt_models/smt_xor_differential_model.py
claasp/cipher_modules/models/smt/smt_models/smt_xor_linear_model.py
claasp/cipher_modules/models/smt/utils/__init__.py
claasp/cipher_modules/models/smt/utils/constants.py
claasp/cipher_modules/models/smt/utils/utils.py
claasp/cipher_modules/statistical_tests/__init__.py
claasp/cipher_modules/statistical_tests/dataset_generator.py
claasp/cipher_modules/statistical_tests/dieharder_statistical_tests.py
claasp/cipher_modules/statistical_tests/nist_statistical_tests.py
claasp/ciphers/__init__.py
claasp/ciphers/block_ciphers/__init__.py
claasp/ciphers/block_ciphers/aes_block_cipher.py
claasp/ciphers/block_ciphers/aradi_block_cipher.py
claasp/ciphers/block_ciphers/aradi_block_cipher_sbox.py
claasp/ciphers/block_ciphers/aradi_block_cipher_sbox_and_compact_linear_map.py
claasp/ciphers/block_ciphers/ballet_block_cipher.py
claasp/ciphers/block_ciphers/bea1_block_cipher.py
claasp/ciphers/block_ciphers/des_block_cipher.py
claasp/ciphers/block_ciphers/des_exact_key_length_block_cipher.py
claasp/ciphers/block_ciphers/hight_block_cipher.py
claasp/ciphers/block_ciphers/kasumi_block_cipher.py
claasp/ciphers/block_ciphers/lblock_block_cipher.py
claasp/ciphers/block_ciphers/lea_block_cipher.py
claasp/ciphers/block_ciphers/lowmc_block_cipher.py
claasp/ciphers/block_ciphers/lowmc_generate_matrices.py
claasp/ciphers/block_ciphers/midori_block_cipher.py
claasp/ciphers/block_ciphers/present_block_cipher.py
claasp/ciphers/block_ciphers/prince_block_cipher.py
claasp/ciphers/block_ciphers/prince_v2_block_cipher.py
claasp/ciphers/block_ciphers/qarmav2_block_cipher.py
claasp/ciphers/block_ciphers/qarmav2_with_mixcolumn_block_cipher.py
claasp/ciphers/block_ciphers/raiden_block_cipher.py
claasp/ciphers/block_ciphers/rc5_block_cipher.py
claasp/ciphers/block_ciphers/scarf_block_cipher.py
claasp/ciphers/block_ciphers/simeck_block_cipher.py
claasp/ciphers/block_ciphers/simeck_sbox_block_cipher.py
claasp/ciphers/block_ciphers/simon_block_cipher.py
claasp/ciphers/block_ciphers/simon_sbox_block_cipher.py
claasp/ciphers/block_ciphers/skinny_block_cipher.py
claasp/ciphers/block_ciphers/sparx_block_cipher.py
claasp/ciphers/block_ciphers/speck_block_cipher.py
claasp/ciphers/block_ciphers/speedy_block_cipher.py
claasp/ciphers/block_ciphers/tea_block_cipher.py
claasp/ciphers/block_ciphers/threefish_block_cipher.py
claasp/ciphers/block_ciphers/twine_block_cipher.py
claasp/ciphers/block_ciphers/twofish_block_cipher.py
claasp/ciphers/block_ciphers/ublock_block_cipher.py
claasp/ciphers/block_ciphers/xtea_block_cipher.py
claasp/ciphers/hash_functions/__init__.py
claasp/ciphers/hash_functions/blake2_hash_function.py
claasp/ciphers/hash_functions/blake_hash_function.py
claasp/ciphers/hash_functions/md5_hash_function.py
claasp/ciphers/hash_functions/sha1_hash_function.py
claasp/ciphers/hash_functions/sha2_hash_function.py
claasp/ciphers/hash_functions/whirlpool_hash_function.py
claasp/ciphers/permutations/__init__.py
claasp/ciphers/permutations/ascon_permutation.py
claasp/ciphers/permutations/ascon_sbox_sigma_no_matrix_permutation.py
claasp/ciphers/permutations/ascon_sbox_sigma_permutation.py
claasp/ciphers/permutations/chacha_permutation.py
claasp/ciphers/permutations/gaston_permutation.py
claasp/ciphers/permutations/gaston_sbox_permutation.py
claasp/ciphers/permutations/gift_permutation.py
claasp/ciphers/permutations/gift_sbox_permutation.py
claasp/ciphers/permutations/gimli_permutation.py
claasp/ciphers/permutations/gimli_sbox_permutation.py
claasp/ciphers/permutations/grain_core_permutation.py
claasp/ciphers/permutations/keccak_invertible_permutation.py
claasp/ciphers/permutations/keccak_permutation.py
claasp/ciphers/permutations/keccak_sbox_permutation.py
claasp/ciphers/permutations/photon_permutation.py
claasp/ciphers/permutations/salsa_permutation.py
claasp/ciphers/permutations/sparkle_permutation.py
claasp/ciphers/permutations/spongent_pi_fsr_permutation.py
claasp/ciphers/permutations/spongent_pi_permutation.py
claasp/ciphers/permutations/spongent_pi_precomputation_permutation.py
claasp/ciphers/permutations/tinyjambu_32bits_word_permutation.py
claasp/ciphers/permutations/tinyjambu_fsr_32bits_word_permutation.py
claasp/ciphers/permutations/tinyjambu_permutation.py
claasp/ciphers/permutations/util.py
claasp/ciphers/permutations/xoodoo_invertible_permutation.py
claasp/ciphers/permutations/xoodoo_permutation.py
claasp/ciphers/permutations/xoodoo_sbox_permutation.py
claasp/ciphers/stream_ciphers/__init__.py
claasp/ciphers/stream_ciphers/a5_1_stream_cipher.py
claasp/ciphers/stream_ciphers/a5_2_stream_cipher.py
claasp/ciphers/stream_ciphers/bivium_stream_cipher.py
claasp/ciphers/stream_ciphers/bluetooth_stream_cipher_e0.py
claasp/ciphers/stream_ciphers/chacha_stream_cipher.py
claasp/ciphers/stream_ciphers/snow3g_stream_cipher.py
claasp/ciphers/stream_ciphers/trivium_stream_cipher.py
claasp/ciphers/stream_ciphers/zuc_stream_cipher.py
claasp/ciphers/toys/__init__.py
claasp/ciphers/toys/constant_block_cipher.py
claasp/ciphers/toys/fancy_block_cipher.py
claasp/ciphers/toys/identity_block_cipher.py
claasp/ciphers/toys/toy_cipherfour.py
claasp/ciphers/toys/toyfeistel.py
claasp/ciphers/toys/toyspn1.py
claasp/ciphers/toys/toyspn2.py
claasp/components/__init__.py
claasp/components/and_component.py
claasp/components/cipher_output_component.py
claasp/components/concatenate_component.py
claasp/components/constant_component.py
claasp/components/fsr_component.py
claasp/components/intermediate_output_component.py
claasp/components/linear_layer_component.py
claasp/components/mix_column_component.py
claasp/components/modadd_component.py
claasp/components/modsub_component.py
claasp/components/modular_component.py
claasp/components/multi_input_non_linear_logical_operator_component.py
claasp/components/not_component.py
claasp/components/or_component.py
claasp/components/permutation_component.py
claasp/components/reverse_component.py
claasp/components/rotate_component.py
claasp/components/sbox_component.py
claasp/components/shift_component.py
claasp/components/shift_rows_component.py
claasp/components/sigma_component.py
claasp/components/theta_keccak_component.py
claasp/components/theta_xoodoo_component.py
claasp/components/variable_rotate_component.py
claasp/components/variable_shift_component.py
claasp/components/word_permutation_component.py
claasp/components/xor_component.py
claasp/utils/__init__.py
claasp/utils/integer.py
claasp/utils/integer_functions.py
claasp/utils/sage_scripts.py
claasp/utils/sequence_operations.py
claasp/utils/templates.py
claasp/utils/utils.py