Index – S

S1() (Snow3GStreamCipher method) S2() (Snow3GStreamCipher method) s_box_layer() (ZucStreamCipher method) SalsaPermutation (class in ciphers.permutations.salsa_permutation) sat_bitwise_deterministic_truncated_xor_differential_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (WordPermutation method) (XOR method) sat_build_table_template() (in module components.sbox_component) sat_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableShift method) (WordPermutation method) (XOR method) sat_modadd() (in module components.modadd_component) sat_modadd_seq() (in module components.modadd_component) sat_semi_deterministic_truncated_xor_differential_constraints() (CipherOutput method) (Constant method) (IntermediateOutput method) (MODADD method) (MODSUB method) (Modular method) (Rotate method) (ShiftRows method) (XOR method) sat_xor_differential_propagation_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (WordPermutation method) (XOR method) sat_xor_linear_mask_propagation_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (WordPermutation method) (XOR method) SatBitwiseDeterministicTruncatedXorDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_bitwise_deterministic_truncated_xor_differential_model) SatCipherModel (class in cipher_modules.models.sat.sat_models.sat_cipher_model) SatDifferentialLinearModel (class in cipher_modules.models.sat.sat_models.sat_differential_linear_model) satisfy_generator() (MznBoomerangModelARXOptimized method) (MznXorDifferentialModelARXOptimized method) SatModel (class in cipher_modules.models.sat.sat_model) SatProbabilisticXorTruncatedDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_probabilistic_xor_truncated_differential_model) SatSemiDeterministicTruncatedXorDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_semi_deterministic_truncated_xor_differential_model) SatTruncatedXorDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_truncated_xor_differential_model) SatXorDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_xor_differential_model) SatXorLinearModel (class in cipher_modules.models.sat.sat_models.sat_xor_linear_model) save_as_DataFrame() (Report method) save_as_image() (Report method) save_as_json() (Report method) save_as_latex_table() (Report method) save_list() (in module cipher_modules.models.sat.utils.n_window_heuristic_helper) SBOX (class in components.sbox_component) sbox() (in module cipher_modules.generic_functions) sbox_bool_func() (in module cipher_modules.generic_functions) SBOX_continuous_diffusion_analysis() (in module cipher_modules.generic_functions_continuous_diffusion_analysis) sbox_inequalities() (in module cipher_modules.models.milp.utils.generate_sbox_inequalities_for_trail_search) sbox_layer() (LowMCBlockCipher method) (PresentBlockCipher method) sboxes_ddt_templates (CmsSatCipherModel property) (CmsSatDeterministicTruncatedXorDifferentialModel property) (CmsSatXorDifferentialModel property) (CmsSatXorLinearModel property) (SatBitwiseDeterministicTruncatedXorDifferentialModel property) (SatCipherModel property) (SatDifferentialLinearModel property) (SatModel property) (SatProbabilisticXorTruncatedDifferentialModel property) (SatSemiDeterministicTruncatedXorDifferentialModel property) (SatTruncatedXorDifferentialModel property) (SatXorDifferentialModel property) (SatXorLinearModel property) (SBOX attribute) (SharedDifferencePairedInputDifferentialLinearModel property) (SharedDifferencePairedInputDifferentialModel property) (SmtCipherModel property) (SmtDeterministicTruncatedXorDifferentialModel property) (SmtModel property) (SmtXorDifferentialModel property) (SmtXorLinearModel property) sboxes_lat_templates (CmsSatCipherModel property) (CmsSatDeterministicTruncatedXorDifferentialModel property) (CmsSatXorDifferentialModel property) (CmsSatXorLinearModel property) (SatBitwiseDeterministicTruncatedXorDifferentialModel property) (SatCipherModel property) (SatDifferentialLinearModel property) (SatModel property) (SatProbabilisticXorTruncatedDifferentialModel property) (SatSemiDeterministicTruncatedXorDifferentialModel property) (SatTruncatedXorDifferentialModel property) (SatXorDifferentialModel property) (SatXorLinearModel property) (SBOX attribute) (SharedDifferencePairedInputDifferentialLinearModel property) (SharedDifferencePairedInputDifferentialModel property) (SmtCipherModel property) (SmtDeterministicTruncatedXorDifferentialModel property) (SmtModel property) (SmtXorDifferentialModel property) (SmtXorLinearModel property) SCARFBlockCipher (class in ciphers.block_ciphers.scarf_block_cipher) schedule() (SHA1HashFunction method) (SHA2HashFunction method) select_bits() (AND method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (FSR method) (in module cipher_modules.generic_functions) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableRotate method) (VariableShift method) (WordPermutation method) (XOR method) select_bits_continuous_diffusion_analysis() (in module cipher_modules.generic_functions_continuous_diffusion_analysis) select_words() (AND method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (FSR method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableRotate method) (VariableShift method) (WordPermutation method) (XOR method) set_2d_array_element_from_1d_array_index() (in module utils.utils) set_as_used_variables() (MilpDivisionTrailModel method) set_body() (Template method) set_builder() (TemplateManager method) set_component_solution() (in module cipher_modules.models.utils) set_component_solution_value() (MznBoomerangModelARXOptimized method) (MznCipherModel method) (MznCipherModelARXOptimized method) (MznDeterministicTruncatedXorDifferentialModel method) (MznDeterministicTruncatedXorDifferentialModelARXOptimized method) (MznHybridImpossibleXorDifferentialModel method) (MznImpossibleXorDifferentialModel method) (MznModel method) (MznWordwiseDeterministicTruncatedXorDifferentialModel method) (MznXorDifferentialFixingNumberOfActiveSboxesModel method) (MznXorDifferentialModel method) (MznXorDifferentialModelARXOptimized method) (MznXorDifferentialNumberOfActiveSboxesModel method) (MznXorLinearModel method) set_component_value_weight_sign() (in module cipher_modules.models.utils) set_description() (AND method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (FSR method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableRotate method) (VariableShift method) (WordPermutation method) (XOR method) set_file_name() (A51StreamCipher method) (A52StreamCipher method) (AESBlockCipher method) (AradiBlockCipher method) (AradiBlockCipherSBox method) (AradiBlockCipherSBoxAndCompactLinearMap method) (AsconPermutation method) (AsconSboxSigmaNoMatrixPermutation method) (AsconSboxSigmaPermutation method) (BaksheeshBlockCipher method) (BalletBlockCipher method) (BEA1BlockCipher method) (BiviumStreamCipher method) (Blake2HashFunction method) (BlakeHashFunction method) (BluetoothStreamCipherE0 method) (ChachaPermutation method) (ChachaStreamCipher method) (Cipher method) (ConstantBlockCipher method) (DESBlockCipher method) (DESExactKeyLengthBlockCipher method) (FancyBlockCipher method) (GastonPermutation method) (GastonSboxPermutation method) (GastonSboxThetaPermutation method) (GiftPermutation method) (GiftSboxPermutation method) (GimliPermutation method) (GimliSboxPermutation method) (GrainCorePermutation method) (HightBlockCipher method) (IdentityBlockCipher method) (KasumiBlockCipher method) (KeccakInvertiblePermutation method) (KeccakPermutation method) (KeccakSboxPermutation method) (LBlockBlockCipher method) (LeaBlockCipher method) (LowMCBlockCipher method) (MD5HashFunction method) (MidoriBlockCipher method) (PhotonPermutation method) (PresentBlockCipher method) (PrinceBlockCipher method) (PrinceV2BlockCipher method) (QARMAv2BlockCipher method) (QARMAv2MixColumnBlockCipher method) (RaidenBlockCipher method) (RC5BlockCipher method) (SalsaPermutation method) (SCARFBlockCipher method) (SHA1HashFunction method) (SHA2HashFunction method) (SimeckBlockCipher method) (SimeckSboxBlockCipher method) (SimonBlockCipher method) (SimonSboxBlockCipher method) (SkinnyBlockCipher method) (Snow3GStreamCipher method) (SparklePermutation method) (SparxBlockCipher method) (SpeckBlockCipher method) (SpeedyBlockCipher method) (SpongentPiFSRPermutation method) (SpongentPiPermutation method) (SpongentPiPrecomputationPermutation method) (TeaBlockCipher method) (ThreefishBlockCipher method) (TinyJambuFSRWordBasedPermutation method) (TinyJambuPermutation method) (TinyJambuWordBasedPermutation method) (ToyCipherFour method) (ToyFeistel method) (ToySPN1 method) (ToySPN2 method) (TriviumStreamCipher method) (TwineBlockCipher method) (TwofishBlockCipher method) (UblockBlockCipher method) (WhirlpoolHashFunction method) (XoodooInvertiblePermutation method) (XoodooPermutation method) (XoodooSboxPermutation method) (XTeaBlockCipher method) (ZucStreamCipher method) set_fixed_variables() (in module cipher_modules.models.utils) set_footer() (Template method) set_from_hex_string() (in module cipher_modules.generic_functions) set_header() (Template method) set_id() (A51StreamCipher method) (A52StreamCipher method) (AESBlockCipher method) (AND method) (AradiBlockCipher method) (AradiBlockCipherSBox method) (AradiBlockCipherSBoxAndCompactLinearMap method) (AsconPermutation method) (AsconSboxSigmaNoMatrixPermutation method) (AsconSboxSigmaPermutation method) (BaksheeshBlockCipher method) (BalletBlockCipher method) (BEA1BlockCipher method) (BiviumStreamCipher method) (Blake2HashFunction method) (BlakeHashFunction method) (BluetoothStreamCipherE0 method) (ChachaPermutation method) (ChachaStreamCipher method) (Cipher method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (ConstantBlockCipher method) (DESBlockCipher method) (DESExactKeyLengthBlockCipher method) (FancyBlockCipher method) (FSR method) (GastonPermutation method) (GastonSboxPermutation method) (GastonSboxThetaPermutation method) (GiftPermutation method) (GiftSboxPermutation method) (GimliPermutation method) (GimliSboxPermutation method) (GrainCorePermutation method) (HightBlockCipher method) (IdentityBlockCipher method) (IntermediateOutput method) (KasumiBlockCipher method) (KeccakInvertiblePermutation method) (KeccakPermutation method) (KeccakSboxPermutation method) (LBlockBlockCipher method) (LeaBlockCipher method) (LinearLayer method) (LowMCBlockCipher method) (MD5HashFunction method) (MidoriBlockCipher method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (PhotonPermutation method) (PresentBlockCipher method) (PrinceBlockCipher method) (PrinceV2BlockCipher method) (QARMAv2BlockCipher method) (QARMAv2MixColumnBlockCipher method) (RaidenBlockCipher method) (RC5BlockCipher method) (Reverse method) (Rotate method) (SalsaPermutation method) (SBOX method) (SCARFBlockCipher method) (SHA1HashFunction method) (SHA2HashFunction method) (SHIFT method) (ShiftRows method) (Sigma method) (SimeckBlockCipher method) (SimeckSboxBlockCipher method) (SimonBlockCipher method) (SimonSboxBlockCipher method) (SkinnyBlockCipher method) (Snow3GStreamCipher method) (SparklePermutation method) (SparxBlockCipher method) (SpeckBlockCipher method) (SpeedyBlockCipher method) (SpongentPiFSRPermutation method) (SpongentPiPermutation method) (SpongentPiPrecomputationPermutation method) (TeaBlockCipher method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (ThreefishBlockCipher method) (TinyJambuFSRWordBasedPermutation method) (TinyJambuPermutation method) (TinyJambuWordBasedPermutation method) (ToyCipherFour method) (ToyFeistel method) (ToySPN1 method) (ToySPN2 method) (TriviumStreamCipher method) (TwineBlockCipher method) (TwofishBlockCipher method) (UblockBlockCipher method) (VariableRotate method) (VariableShift method) (WhirlpoolHashFunction method) (WordPermutation method) (XoodooInvertiblePermutation method) (XoodooPermutation method) (XoodooSboxPermutation method) (XOR method) (XTeaBlockCipher method) (ZucStreamCipher method) set_input_bit_positions() (AND method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (FSR method) (Input method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableRotate method) (VariableShift method) (WordPermutation method) (XOR method) set_input_id_links() (AND method) (CipherOutput method) (Component method) (Concatenate method) (Constant method) (FSR method) (Input method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableRotate method) (VariableShift method) (WordPermutation method) (XOR method) set_inputs() (A51StreamCipher method) (A52StreamCipher method) (AESBlockCipher method) (AradiBlockCipher method) (AradiBlockCipherSBox method) (AradiBlockCipherSBoxAndCompactLinearMap method) (AsconPermutation method) (AsconSboxSigmaNoMatrixPermutation method) (AsconSboxSigmaPermutation method) (BaksheeshBlockCipher method) (BalletBlockCipher method) (BEA1BlockCipher method) (BiviumStreamCipher method) (Blake2HashFunction method) (BlakeHashFunction method) (BluetoothStreamCipherE0 method) (ChachaPermutation method) (ChachaStreamCipher method) (Cipher method) (ConstantBlockCipher method) (DESBlockCipher method) (DESExactKeyLengthBlockCipher method) (FancyBlockCipher method) (GastonPermutation method) (GastonSboxPermutation method) (GastonSboxThetaPermutation method) (GiftPermutation method) (GiftSboxPermutation method) (GimliPermutation method) (GimliSboxPermutation method) (GrainCorePermutation method) (HightBlockCipher method) (IdentityBlockCipher method) (KasumiBlockCipher method) (KeccakInvertiblePermutation method) (KeccakPermutation method) (KeccakSboxPermutation method) (LBlockBlockCipher method) (LeaBlockCipher method) (LowMCBlockCipher method) (MD5HashFunction method) (MidoriBlockCipher method) (PhotonPermutation method) (PresentBlockCipher method) (PrinceBlockCipher method) (PrinceV2BlockCipher method) (QARMAv2BlockCipher method) (QARMAv2MixColumnBlockCipher method) (RaidenBlockCipher method) (RC5BlockCipher method) (SalsaPermutation method) (SCARFBlockCipher method) (SHA1HashFunction method) (SHA2HashFunction method) (SimeckBlockCipher method) (SimeckSboxBlockCipher method) (SimonBlockCipher method) (SimonSboxBlockCipher method) (SkinnyBlockCipher method) (Snow3GStreamCipher method) (SparklePermutation method) (SparxBlockCipher method) (SpeckBlockCipher method) (SpeedyBlockCipher method) (SpongentPiFSRPermutation method) (SpongentPiPermutation method) (SpongentPiPrecomputationPermutation method) (TeaBlockCipher method) (ThreefishBlockCipher method) (TinyJambuFSRWordBasedPermutation method) (TinyJambuPermutation method) (TinyJambuWordBasedPermutation method) (ToyCipherFour method) (ToyFeistel method) (ToySPN1 method) (ToySPN2 method) (TriviumStreamCipher method) (TwineBlockCipher method) (TwofishBlockCipher method) (UblockBlockCipher method) (WhirlpoolHashFunction method) (XoodooInvertiblePermutation method) (XoodooPermutation method) (XoodooSboxPermutation method) (XTeaBlockCipher method) (ZucStreamCipher method) set_inverse_component_id_in_constraints() (MznHybridImpossibleXorDifferentialModel method) (MznImpossibleXorDifferentialModel method) set_max_number_of_carries_on_arx_cipher() (MznBoomerangModelARXOptimized method) (MznXorDifferentialModelARXOptimized method) set_max_number_of_nonlinear_carries() (MznBoomerangModelARXOptimized method) (MznXorDifferentialModelARXOptimized method) set_testing_data_amount() (in module cipher_modules.statistical_tests.dataset_generator) set_unused_variables_to_zero() (MilpDivisionTrailModel method) set_window_size_heuristic_by_component_id() (CmsSatXorDifferentialModel method) (SatProbabilisticXorTruncatedDifferentialModel method) (SatXorDifferentialModel method) set_window_size_heuristic_by_round() (CmsSatXorDifferentialModel method) (SatProbabilisticXorTruncatedDifferentialModel method) (SatXorDifferentialModel method) set_window_size_weight_pr_vars() (CmsSatXorDifferentialModel method) (SatProbabilisticXorTruncatedDifferentialModel method) (SatXorDifferentialModel method) setup_bottom_cipher_inputs() (MznBoomerangModelARXOptimized method) sgn_function() (in module utils.utils) SHA1HashFunction (class in ciphers.hash_functions.sha1_hash_function) SHA2HashFunction (class in ciphers.hash_functions.sha2_hash_function) shared_difference_paired_input_differential_checker_permutation() (in module cipher_modules.models.utils) shared_difference_paired_input_differential_linear_checker_permutation() (in module cipher_modules.models.utils) SharedDifferencePairedInputDifferentialLinearModel (class in cipher_modules.models.sat.sat_models.sat_shared_difference_paired_input_differential_linear_model) SharedDifferencePairedInputDifferentialModel (class in cipher_modules.models.sat.sat_models.sat_shared_difference_paired_input_differential_model) SHIFT (class in components.shift_component)

SHIFT() (in module cipher_modules.generic_functions) SHIFT_BY_VARIABLE_AMOUNT() (in module cipher_modules.generic_functions) SHIFT_BY_VARIABLE_AMOUNT_continuous_diffusion_analysis() (in module cipher_modules.generic_functions_continuous_diffusion_analysis) SHIFT_continuous_diffusion_analysis() (in module cipher_modules.generic_functions_continuous_diffusion_analysis) shift_left() (in module utils.sequence_operations) shift_right() (in module utils.sequence_operations) ShiftRows (class in components.shift_rows_component) show() (Report method) shuffle_cell() (MidoriBlockCipher method) Sigma (class in components.sigma_component) SIGMA() (in module cipher_modules.generic_functions) SIGMA_continuous_diffusion_analysis() (in module cipher_modules.generic_functions_continuous_diffusion_analysis) signed_distance() (in module utils.utils) SimeckBlockCipher (class in ciphers.block_ciphers.simeck_block_cipher) SimeckSboxBlockCipher (class in ciphers.block_ciphers.simeck_sbox_block_cipher) SimonBlockCipher (class in ciphers.block_ciphers.simon_block_cipher) SimonSboxBlockCipher (class in ciphers.block_ciphers.simon_sbox_block_cipher) simplify_inputs() (in module utils.utils) SkinnyBlockCipher (class in ciphers.block_ciphers.skinny_block_cipher) small_swap() (in module ciphers.permutations.gimli_permutation) (in module ciphers.permutations.gimli_sbox_permutation) smt_and() (in module cipher_modules.models.smt.utils.utils) smt_assert() (in module cipher_modules.models.smt.utils.utils) smt_build_table_template() (in module components.sbox_component) smt_carry() (in module cipher_modules.models.smt.utils.utils) smt_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (VariableShift method) (WordPermutation method) (XOR method) smt_distinct() (in module cipher_modules.models.smt.utils.utils) smt_equivalent() (in module cipher_modules.models.smt.utils.utils) smt_get_sbox_probability_constraints() (in module components.sbox_component) smt_implies() (in module cipher_modules.models.smt.utils.utils) smt_ite() (in module cipher_modules.models.smt.utils.utils) smt_lipmaa() (in module cipher_modules.models.smt.utils.utils) smt_modadd() (in module components.modadd_component) smt_modadd_seq() (in module components.modadd_component) smt_not() (in module cipher_modules.models.smt.utils.utils) smt_or() (in module cipher_modules.models.smt.utils.utils) smt_xor() (in module cipher_modules.models.smt.utils.utils) smt_xor_differential_propagation_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (WordPermutation method) (XOR method) smt_xor_linear_mask_propagation_constraints() (AND method) (CipherOutput method) (Constant method) (IntermediateOutput method) (LinearLayer method) (MixColumn method) (MODADD method) (MODSUB method) (Modular method) (MultiInputNonlinearLogicalOperator method) (NOT method) (OR method) (Permutation method) (Reverse method) (Rotate method) (SBOX method) (SHIFT method) (ShiftRows method) (Sigma method) (ThetaGaston method) (ThetaKeccak method) (ThetaXoodoo method) (WordPermutation method) (XOR method) SmtCipherModel (class in cipher_modules.models.smt.smt_models.smt_cipher_model) SmtDeterministicTruncatedXorDifferentialModel (class in cipher_modules.models.smt.smt_models.smt_deterministic_truncated_xor_differential_model) SmtModel (class in cipher_modules.models.smt.smt_model) SmtXorDifferentialModel (class in cipher_modules.models.smt.smt_models.smt_xor_differential_model) SmtXorLinearModel (class in cipher_modules.models.smt.smt_models.smt_xor_linear_model) snow3g_key_stream() (Snow3GStreamCipher method) snow3g_state_initialization() (Snow3GStreamCipher method) Snow3GStreamCipher (class in ciphers.stream_ciphers.snow3g_stream_cipher) solve() (CmsSatCipherModel method) (CmsSatDeterministicTruncatedXorDifferentialModel method) (CmsSatXorDifferentialModel method) (CmsSatXorLinearModel method) (MilpBitwiseDeterministicTruncatedXorDifferentialModel method) (MilpBitwiseImpossibleXorDifferentialModel method) (MilpCipherModel method) (MilpModel method) (MilpWordwiseDeterministicTruncatedXorDifferentialModel method) (MilpWordwiseImpossibleXorDifferentialModel method) (MilpXorDifferentialModel method) (MilpXorLinearModel method) (MznBoomerangModelARXOptimized method) (MznCipherModel method) (MznCipherModelARXOptimized method) (MznDeterministicTruncatedXorDifferentialModel method) (MznDeterministicTruncatedXorDifferentialModelARXOptimized method) (MznHybridImpossibleXorDifferentialModel method) (MznImpossibleXorDifferentialModel method) (MznModel method) (MznWordwiseDeterministicTruncatedXorDifferentialModel method) (MznXorDifferentialFixingNumberOfActiveSboxesModel method) (MznXorDifferentialModel method) (MznXorDifferentialModelARXOptimized method) (MznXorDifferentialNumberOfActiveSboxesModel method) (MznXorLinearModel method) (SatBitwiseDeterministicTruncatedXorDifferentialModel method) (SatCipherModel method) (SatDifferentialLinearModel method) (SatModel method) (SatProbabilisticXorTruncatedDifferentialModel method) (SatSemiDeterministicTruncatedXorDifferentialModel method) (SatTruncatedXorDifferentialModel method) (SatXorDifferentialModel method) (SatXorLinearModel method) (SharedDifferencePairedInputDifferentialLinearModel method) (SharedDifferencePairedInputDifferentialModel method) (SmtCipherModel method) (SmtDeterministicTruncatedXorDifferentialModel method) (SmtModel method) (SmtXorDifferentialModel method) (SmtXorLinearModel method) solve_for_ARX() (MznBoomerangModelARXOptimized method) (MznCipherModel method) (MznCipherModelARXOptimized method) (MznDeterministicTruncatedXorDifferentialModel method) (MznDeterministicTruncatedXorDifferentialModelARXOptimized method) (MznHybridImpossibleXorDifferentialModel method) (MznImpossibleXorDifferentialModel method) (MznModel method) (MznWordwiseDeterministicTruncatedXorDifferentialModel method) (MznXorDifferentialFixingNumberOfActiveSboxesModel method) (MznXorDifferentialModel method) (MznXorDifferentialModelARXOptimized method) (MznXorDifferentialNumberOfActiveSboxesModel method) (MznXorLinearModel method) solve_full_two_steps_xor_differential_model() (MznXorDifferentialFixingNumberOfActiveSboxesModel method) solve_model() (MznXorDifferentialFixingNumberOfActiveSboxesModel method) solver_names() (MilpBitwiseDeterministicTruncatedXorDifferentialModel method) (MilpBitwiseImpossibleXorDifferentialModel method) (MilpCipherModel method) (MilpModel method) (MilpWordwiseDeterministicTruncatedXorDifferentialModel method) (MilpWordwiseImpossibleXorDifferentialModel method) (MilpXorDifferentialModel method) (MilpXorLinearModel method) (MznBoomerangModelARXOptimized method) (MznCipherModel method) (MznCipherModelARXOptimized method) (MznDeterministicTruncatedXorDifferentialModel method) (MznDeterministicTruncatedXorDifferentialModelARXOptimized method) (MznHybridImpossibleXorDifferentialModel method) (MznImpossibleXorDifferentialModel method) (MznModel method) (MznWordwiseDeterministicTruncatedXorDifferentialModel method) (MznXorDifferentialFixingNumberOfActiveSboxesModel method) (MznXorDifferentialModel method) (MznXorDifferentialModelARXOptimized method) (MznXorDifferentialNumberOfActiveSboxesModel method) (MznXorLinearModel method) sort_cipher() (A51StreamCipher method) (A52StreamCipher method) (AESBlockCipher method) (AradiBlockCipher method) (AradiBlockCipherSBox method) (AradiBlockCipherSBoxAndCompactLinearMap method) (AsconPermutation method) (AsconSboxSigmaNoMatrixPermutation method) (AsconSboxSigmaPermutation method) (BaksheeshBlockCipher method) (BalletBlockCipher method) (BEA1BlockCipher method) (BiviumStreamCipher method) (Blake2HashFunction method) (BlakeHashFunction method) (BluetoothStreamCipherE0 method) (ChachaPermutation method) (ChachaStreamCipher method) (Cipher method) (ConstantBlockCipher method) (DESBlockCipher method) (DESExactKeyLengthBlockCipher method) (FancyBlockCipher method) (GastonPermutation method) (GastonSboxPermutation method) (GastonSboxThetaPermutation method) (GiftPermutation method) (GiftSboxPermutation method) (GimliPermutation method) (GimliSboxPermutation method) (GrainCorePermutation method) (HightBlockCipher method) (IdentityBlockCipher method) (in module editor) (KasumiBlockCipher method) (KeccakInvertiblePermutation method) (KeccakPermutation method) (KeccakSboxPermutation method) (LBlockBlockCipher method) (LeaBlockCipher method) (LowMCBlockCipher method) (MD5HashFunction method) (MidoriBlockCipher method) (PhotonPermutation method) (PresentBlockCipher method) (PrinceBlockCipher method) (PrinceV2BlockCipher method) (QARMAv2BlockCipher method) (QARMAv2MixColumnBlockCipher method) (RaidenBlockCipher method) (RC5BlockCipher method) (SalsaPermutation method) (SCARFBlockCipher method) (SHA1HashFunction method) (SHA2HashFunction method) (SimeckBlockCipher method) (SimeckSboxBlockCipher method) (SimonBlockCipher method) (SimonSboxBlockCipher method) (SkinnyBlockCipher method) (Snow3GStreamCipher method) (SparklePermutation method) (SparxBlockCipher method) (SpeckBlockCipher method) (SpeedyBlockCipher method) (SpongentPiFSRPermutation method) (SpongentPiPermutation method) (SpongentPiPrecomputationPermutation method) (TeaBlockCipher method) (ThreefishBlockCipher method) (TinyJambuFSRWordBasedPermutation method) (TinyJambuPermutation method) (TinyJambuWordBasedPermutation method) (ToyCipherFour method) (ToyFeistel method) (ToySPN1 method) (ToySPN2 method) (TriviumStreamCipher method) (TwineBlockCipher method) (TwofishBlockCipher method) (UblockBlockCipher method) (WhirlpoolHashFunction method) (XoodooInvertiblePermutation method) (XoodooPermutation method) (XoodooSboxPermutation method) (XTeaBlockCipher method) (ZucStreamCipher method) sort_cipher_graph() (in module cipher_modules.inverse_cipher) sort_input_id_links_and_input_bit_positions() (in module cipher_modules.inverse_cipher) sp_box() (GimliPermutation method) (GimliSboxPermutation method) SparklePermutation (class in ciphers.permutations.sparkle_permutation) SparxBlockCipher (class in ciphers.block_ciphers.sparx_block_cipher) SpeckBlockCipher (class in ciphers.block_ciphers.speck_block_cipher) SpeedyBlockCipher (class in ciphers.block_ciphers.speedy_block_cipher) split_cipher_graph_into_top_bottom() (in module cipher_modules.graph_generator) SpongentPiFSRPermutation (class in ciphers.permutations.spongent_pi_fsr_permutation) SpongentPiPermutation (class in ciphers.permutations.spongent_pi_permutation) SpongentPiPrecomputationPermutation (class in ciphers.permutations.spongent_pi_precomputation_permutation) state_initialization() (KeccakInvertiblePermutation method) (KeccakPermutation method) (KeccakSboxPermutation method) (SkinnyBlockCipher method) (ZucStreamCipher method) state_masking() (QARMAv2BlockCipher method) state_rotation() (QARMAv2BlockCipher method) state_sboxing() (QARMAv2BlockCipher method) state_transformation() (Blake2HashFunction method) (BlakeHashFunction method) sub_cell() (MidoriBlockCipher method) sub_quarter_round_latin_dances() (in module ciphers.permutations.util) subkey_schedule() (ThreefishBlockCipher method) suffixes (AND property) (CipherOutput property) (Component property) (Concatenate property) (Constant property) (FSR property) (IntermediateOutput property) (LinearLayer property) (MixColumn property) (MODADD property) (MODSUB property) (Modular property) (MultiInputNonlinearLogicalOperator property) (NOT property) (OR property) (Permutation property) (Reverse property) (Rotate property) (SBOX property) (SHIFT property) (ShiftRows property) (Sigma property) (ThetaGaston property) (ThetaKeccak property) (ThetaXoodoo property) (VariableRotate property) (VariableShift property) (WordPermutation property) (XOR property) swap_components() (Round method)