Index

A

ActiveBitMode (class in cascada.smt.invalidpropsearch) add_op() (cascada.bitvector.context.MemoizationTable method) add_round_outputs() (cascada.bitvector.ssa.RoundBasedFunction class method) AESCipher (class in cascada.primitives.aes) AESEncryption (class in cascada.primitives.aes) AESKeySchedule (class in cascada.primitives.aes) AESLikeFunction (class in cascada.primitives.aes_like) AESMaskedEncryption (class in cascada.primitives.aes_masked) AESMaskedKeySchedule (class in cascada.primitives.aes_masked) alt_name (cascada.bitvector.operation.Operation attribute)

apply() (cascada.linear.mask.LinearMask method) arity (cascada.bitvector.operation.Operation attribute) assert_type (cascada.smt.chsearch.ChFinder attribute) assign_outdiff2op_model (cascada.differential.chmodel.ChModel attribute) assign_outmask2op_model (cascada.linear.chmodel.ChModel attribute) assign_outprop2op_model (cascada.abstractproperty.chmodel.ChModel attribute) assign_outval2op_model (cascada.algebraic.chmodel.ChModel attribute) assignment_weights (cascada.abstractproperty.characteristic.Characteristic attribute) assignments (cascada.bitvector.ssa.SSA attribute) atoms() (cascada.bitvector.core.Term method) aux_weights (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute)

B

base_op (cascada.abstractproperty.opmodel.PartialOpModel attribute) (cascada.bitvector.operation.PartialOperation attribute) (cascada.differential.opmodel.RXModelBvLshrCt attribute) (cascada.differential.opmodel.RXModelBvShlCt attribute) (cascada.differential.opmodel.XorModelBvAddCt attribute) (cascada.differential.opmodel.XorModelBvSubCt attribute) (cascada.linear.opmodel.LinearModelBvAndCt attribute) (cascada.linear.opmodel.LinearModelBvLshrCt attribute) (cascada.linear.opmodel.LinearModelBvOrCt attribute) (cascada.linear.opmodel.LinearModelBvShlCt attribute) (cascada.linear.opmodel.LinearModelExtractCt attribute) bin() (cascada.bitvector.core.Constant method) BitModelBvAdd (class in cascada.algebraic.opmodel) BitModelBvSub (class in cascada.algebraic.opmodel) BitModelId (class in cascada.algebraic.opmodel) BitValue (class in cascada.algebraic.value) bitvectify() (in module cascada.bitvector.core) branch_number (cascada.abstractproperty.opmodel.BranchNumberModel attribute) BranchNumberModel (class in cascada.abstractproperty.opmodel) bv2pysmt() (in module cascada.smt.pysmttypes) bv_weight() (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method)

BvAdd (class in cascada.bitvector.operation) BvAnd (class in cascada.bitvector.operation) BvCCodePrinter (class in cascada.bitvector.printing) BvComp (class in cascada.bitvector.operation) BvFunction (class in cascada.bitvector.ssa) BvIdentity (class in cascada.bitvector.operation) BvIf (class in cascada.bitvector.secondaryop) BvLshr (class in cascada.bitvector.operation) BvMaj (class in cascada.bitvector.secondaryop) BvMul (class in cascada.bitvector.operation) BvNeg (class in cascada.bitvector.operation) BvNot (class in cascada.bitvector.operation) BvOr (class in cascada.bitvector.operation) BvReprPrinter (class in cascada.bitvector.printing) BvShl (class in cascada.bitvector.operation) BvShortPrinter (class in cascada.bitvector.printing) BvStrPrinter (class in cascada.bitvector.printing) BvSub (class in cascada.bitvector.operation) BvUdiv (class in cascada.bitvector.operation) BvUge (class in cascada.bitvector.operation) BvUgt (class in cascada.bitvector.operation) BvUle (class in cascada.bitvector.operation) BvUlt (class in cascada.bitvector.operation) BvUrem (class in cascada.bitvector.operation) BvWrapPrinter (class in cascada.bitvector.printing) BvXor (class in cascada.bitvector.operation)

C

C_code (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) Cache (class in cascada.bitvector.context) cascada module cascada.abstractproperty module cascada.abstractproperty.characteristic module cascada.abstractproperty.chmodel module cascada.abstractproperty.opmodel module cascada.abstractproperty.property module cascada.algebraic module cascada.algebraic.characteristic module cascada.algebraic.chmodel module cascada.algebraic.opmodel module cascada.algebraic.value module cascada.bitvector module cascada.bitvector.context module cascada.bitvector.core module cascada.bitvector.operation module cascada.bitvector.printing module cascada.bitvector.secondaryop module cascada.bitvector.ssa module cascada.differential module cascada.differential.characteristic module cascada.differential.chmodel module cascada.differential.difference module cascada.differential.opmodel module cascada.linear module cascada.linear.characteristic module cascada.linear.chmodel module cascada.linear.mask module cascada.linear.opmodel module cascada.primitives module cascada.primitives.aes module cascada.primitives.aes_like module cascada.primitives.aes_masked module cascada.primitives.blockcipher module cascada.primitives.cham module cascada.primitives.chaskey module cascada.primitives.feal module cascada.primitives.hight module cascada.primitives.lea module cascada.primitives.multi2 module cascada.primitives.noekeon module cascada.primitives.picipher module cascada.primitives.rectangle module cascada.primitives.shacal1 module cascada.primitives.shacal2 module cascada.primitives.simeck module cascada.primitives.simon module cascada.primitives.simon_rf module cascada.primitives.skinny128 module cascada.primitives.skinny64 module

cascada.primitives.speck module cascada.primitives.tea module cascada.primitives.xtea module cascada.smt module cascada.smt.chsearch module cascada.smt.invalidpropsearch module cascada.smt.pysmttypes module cascada.smt.wrappedchmodel module ch_model (cascada.abstractproperty.characteristic.Characteristic attribute) (cascada.smt.chsearch.ChFinder attribute) (cascada.smt.wrappedchmodel.ChFuncAsOp attribute) (cascada.smt.wrappedchmodel.ModelChFuncAsOp property) ch_weight (cascada.abstractproperty.characteristic.Characteristic attribute) CHAM_128_128 (cascada.primitives.cham.CHAMInstance attribute) CHAM_128_256 (cascada.primitives.cham.CHAMInstance attribute) CHAM_64_128 (cascada.primitives.cham.CHAMInstance attribute) CHAMInstance (class in cascada.primitives.cham) Characteristic (class in cascada.abstractproperty.characteristic) (class in cascada.algebraic.characteristic) (class in cascada.differential.characteristic) (class in cascada.linear.characteristic) ChaskeyPi (class in cascada.primitives.chaskey) ChFinder (class in cascada.smt.chsearch) ChFuncAsOp (class in cascada.smt.wrappedchmodel) ChModel (class in cascada.abstractproperty.chmodel) (class in cascada.algebraic.chmodel) (class in cascada.differential.chmodel) (class in cascada.linear.chmodel) chmodel_asserts (cascada.smt.chsearch.ChFinder attribute) ChModelAssertType (class in cascada.smt.chsearch) ChModelSigType (class in cascada.abstractproperty.chmodel) cipher (cascada.abstractproperty.chmodel.CipherChModel attribute) (cascada.abstractproperty.chmodel.EncryptionChModel attribute) Cipher (class in cascada.primitives.blockcipher) cipher_ch_model (cascada.abstractproperty.characteristic.CipherCharacteristic attribute) CipherCharacteristic (class in cascada.abstractproperty.characteristic) (class in cascada.algebraic.characteristic) (class in cascada.differential.characteristic) CipherChFinder (class in cascada.smt.chsearch) CipherChModel (class in cascada.abstractproperty.chmodel) (class in cascada.algebraic.chmodel) (class in cascada.differential.chmodel) class_key() (cascada.bitvector.core.Constant class method) (cascada.bitvector.core.Term method) (cascada.bitvector.operation.PrimaryOperation class method) (cascada.bitvector.operation.SecondaryOperation class method) clear() (cascada.bitvector.context.MemoizationTable method) compute_empirical_ch_weight() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.algebraic.characteristic.Characteristic method) (cascada.differential.characteristic.Characteristic method) (cascada.linear.characteristic.Characteristic method) Concat (class in cascada.bitvector.operation) condition() (cascada.bitvector.operation.BvAdd class method) (cascada.bitvector.operation.BvAnd class method) (cascada.bitvector.operation.BvComp class method) (cascada.bitvector.operation.BvLshr class method) (cascada.bitvector.operation.BvMul class method) (cascada.bitvector.operation.BvOr class method) (cascada.bitvector.operation.BvShl class method) (cascada.bitvector.operation.BvSub class method) (cascada.bitvector.operation.BvUdiv class method) (cascada.bitvector.operation.BvUge class method) (cascada.bitvector.operation.BvUgt class method) (cascada.bitvector.operation.BvUle class method) (cascada.bitvector.operation.BvUlt class method) (cascada.bitvector.operation.BvUrem class method) (cascada.bitvector.operation.BvXor class method) (cascada.bitvector.operation.Extract class method) (cascada.bitvector.operation.Ite class method) (cascada.bitvector.operation.Operation class method) (cascada.bitvector.operation.RotateLeft class method) (cascada.bitvector.operation.RotateRight class method) (cascada.bitvector.secondaryop.BvIf class method) (cascada.bitvector.secondaryop.BvMaj class method) (cascada.bitvector.secondaryop.LutOperation class method) (cascada.bitvector.secondaryop.MatrixOperation class method) (cascada.bitvector.secondaryop.PopCountDiff class method) (cascada.bitvector.secondaryop.PopCountSum2 class method) (cascada.bitvector.secondaryop.PopCountSum3 class method) (cascada.differential.difference.RXInvOp class method) (cascada.differential.difference.RXOp class method) (cascada.smt.wrappedchmodel.ChFuncAsOp class method) Constant (class in cascada.bitvector.core) contain_op() (cascada.bitvector.context.MemoizationTable method) copy() (cascada.bitvector.ssa.SSA method) crepr() (cascada.bitvector.core.Term method) ct (cascada.differential.opmodel.RXModelBvShlCt property) (cascada.differential.opmodel.XorModelBvAddCt property) (cascada.linear.opmodel.LinearModelBvAndCt property) (cascada.linear.opmodel.LinearModelBvOrCt property) (cascada.linear.opmodel.LinearModelBvShlCt property)

D

Debug (cascada.primitives.aes_like.LoggingMode attribute) (cascada.smt.chsearch.PrintingMode attribute) decimal_weight() (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method) Default (cascada.smt.invalidpropsearch.ActiveBitMode attribute) diff_op (cascada.differential.difference.Difference attribute) (cascada.differential.difference.RXDiff attribute) (cascada.differential.difference.XorDiff attribute) diff_type (cascada.differential.chmodel.ChModel attribute) (cascada.differential.opmodel.OpModel attribute) (cascada.differential.opmodel.RXModelBvAdd attribute) (cascada.differential.opmodel.RXModelBvIf attribute) (cascada.differential.opmodel.RXModelBvMaj attribute) (cascada.differential.opmodel.RXModelBvOr attribute) (cascada.differential.opmodel.RXModelBvShlCt attribute) (cascada.differential.opmodel.RXModelBvSub attribute) (cascada.differential.opmodel.RXModelId attribute) (cascada.differential.opmodel.XorModelBvAdd attribute) (cascada.differential.opmodel.XorModelBvAddCt attribute) (cascada.differential.opmodel.XorModelBvIf attribute) (cascada.differential.opmodel.XorModelBvMaj attribute) (cascada.differential.opmodel.XorModelBvOr attribute) (cascada.differential.opmodel.XorModelBvSub attribute) (cascada.differential.opmodel.XorModelBvSubCt attribute) (cascada.differential.opmodel.XorModelId attribute) (cascada.primitives.simon_rf.RXModelSimonRF attribute) (cascada.primitives.simon_rf.XorModelSimonRF attribute)

Difference (class in cascada.differential.difference) doit() (cascada.bitvector.core.Term method) dotprinting() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.bitvector.ssa.BvFunction class method) (cascada.bitvector.ssa.SSA method) (in module cascada.bitvector.printing)

E

effective_precision (cascada.differential.opmodel.XorModelBvAddCt property) empirical_ch_weight (cascada.abstractproperty.characteristic.Characteristic attribute) empirical_data_list (cascada.abstractproperty.characteristic.Characteristic attribute) EmpiricalWeightData (class in cascada.abstractproperty.characteristic) enc_ch_model (cascada.abstractproperty.chmodel.CipherChModel attribute) enc_characteristic (cascada.abstractproperty.characteristic.CipherCharacteristic attribute) encryption (cascada.primitives.aes.AESCipher attribute) (cascada.primitives.blockcipher.Cipher attribute) (cascada.primitives.feal.FEALCipher attribute) (cascada.primitives.hight.HightCipher attribute) (cascada.primitives.lea.LEACipher attribute) (cascada.primitives.multi2.MULTI2Cipher attribute) (cascada.primitives.noekeon.NOEKEONDirectCipher attribute) (cascada.primitives.noekeon.NOEKEONIndirectCipher attribute) (cascada.primitives.rectangle.RECTANGLE128Cipher attribute) (cascada.primitives.rectangle.RECTANGLE80Cipher attribute) (cascada.primitives.shacal1.SHACAL1Cipher attribute) (cascada.primitives.shacal2.SHACAL2Cipher attribute) (cascada.primitives.skinny128.SKINNYCipher attribute) (cascada.primitives.skinny64.SKINNYCipher attribute) (cascada.primitives.tea.TEACipher attribute) (cascada.primitives.xtea.XTEACipher attribute) Encryption (class in cascada.primitives.blockcipher) EncryptionCharacteristic (class in cascada.abstractproperty.characteristic) (class in cascada.algebraic.characteristic) (class in cascada.differential.characteristic) (class in cascada.linear.characteristic) EncryptionChModel (class in cascada.abstractproperty.chmodel) (class in cascada.algebraic.chmodel) (class in cascada.differential.chmodel) (class in cascada.linear.chmodel) env (cascada.smt.chsearch.ChFinder attribute) error() (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.chmodel.ChModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.chmodel.ChModel method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method) eval() (cascada.bitvector.operation.BvAdd class method) (cascada.bitvector.operation.BvAnd class method) (cascada.bitvector.operation.BvComp class method) (cascada.bitvector.operation.BvIdentity class method) (cascada.bitvector.operation.BvLshr class method) (cascada.bitvector.operation.BvMul class method) (cascada.bitvector.operation.BvNeg class method) (cascada.bitvector.operation.BvNot class method) (cascada.bitvector.operation.BvOr class method) (cascada.bitvector.operation.BvShl class method) (cascada.bitvector.operation.BvSub class method) (cascada.bitvector.operation.BvUdiv class method) (cascada.bitvector.operation.BvUge class method) (cascada.bitvector.operation.BvUgt class method) (cascada.bitvector.operation.BvUle class method) (cascada.bitvector.operation.BvUlt class method) (cascada.bitvector.operation.BvUrem class method) (cascada.bitvector.operation.BvXor class method) (cascada.bitvector.operation.Concat class method) (cascada.bitvector.operation.Extract class method) (cascada.bitvector.operation.Ite class method) (cascada.bitvector.operation.Operation class method) (cascada.bitvector.operation.RotateLeft class method) (cascada.bitvector.operation.RotateRight class method) (cascada.bitvector.secondaryop.BvIf class method) (cascada.bitvector.secondaryop.BvMaj class method) (cascada.bitvector.secondaryop.LeadingZeros class method) (cascada.bitvector.secondaryop.LutOperation class method) (cascada.bitvector.secondaryop.MatrixOperation class method) (cascada.bitvector.secondaryop.PopCount class method) (cascada.bitvector.secondaryop.PopCountDiff class method) (cascada.bitvector.secondaryop.PopCountSum2 class method) (cascada.bitvector.secondaryop.PopCountSum3 class method) (cascada.bitvector.secondaryop.Reverse class method) (cascada.bitvector.ssa.BvFunction class method) (cascada.bitvector.ssa.SSA method) (cascada.differential.difference.RXInvOp class method) (cascada.differential.difference.RXOp class method) (cascada.primitives.aes.AESEncryption class method) (cascada.primitives.aes.AESKeySchedule class method) (cascada.primitives.aes_masked.AESMaskedEncryption class method) (cascada.primitives.aes_masked.AESMaskedKeySchedule class method) (cascada.primitives.chaskey.ChaskeyPi class method) (cascada.primitives.feal.FEALEncryption class method) (cascada.primitives.feal.FEALKeySchedule class method) (cascada.primitives.feal.FEALXKeySchedule class method) (cascada.primitives.hight.HightEncryption class method) (cascada.primitives.hight.HightKeySchedule class method) (cascada.primitives.lea.LEAEncryption class method) (cascada.primitives.lea.LEAKeySchedule class method) (cascada.primitives.multi2.MULTI2Encryption class method) (cascada.primitives.multi2.MULTI2KeySchedule class method) (cascada.primitives.noekeon.NOEKEONDirectKeySchedule class method) (cascada.primitives.noekeon.NOEKEONEncryption class method) (cascada.primitives.noekeon.NOEKEONIndirectKeySchedule class method) (cascada.primitives.picipher.PiPermutation class method) (cascada.primitives.rectangle.RECTANGLE128KeySchedule class method) (cascada.primitives.rectangle.RECTANGLE80KeySchedule class method) (cascada.primitives.rectangle.RECTANGLEEncryption class method) (cascada.primitives.shacal1.SHACAL1Encryption class method) (cascada.primitives.shacal1.SHACAL1KeySchedule class method) (cascada.primitives.shacal2.SHACAL2Encryption class method) (cascada.primitives.shacal2.SHACAL2KeySchedule class method) (cascada.primitives.simon_rf.SimonRF class method) (cascada.primitives.skinny128.SKINNYEncryption class method) (cascada.primitives.skinny128.SKINNYTweakeySchedule class method) (cascada.primitives.tea.TEAEncryption class method) (cascada.primitives.tea.TEAKeySchedule class method) (cascada.primitives.xtea.XTEAEncryption class method) (cascada.primitives.xtea.XTEAKeySchedule class method) (cascada.smt.wrappedchmodel.ChFuncAsOp class method)

eval_derivative() (cascada.differential.opmodel.OpModel method) external_diffs (cascada.differential.characteristic.Characteristic attribute) external_masks (cascada.linear.characteristic.Characteristic attribute) external_props (cascada.abstractproperty.characteristic.Characteristic attribute) external_vals (cascada.algebraic.characteristic.Characteristic attribute) external_var2diff (cascada.differential.chmodel.ChModel attribute) external_var2mask (cascada.linear.chmodel.ChModel attribute) external_var2prop (cascada.abstractproperty.chmodel.ChModel attribute) external_var2val (cascada.algebraic.chmodel.ChModel attribute) external_vars (cascada.bitvector.ssa.SSA attribute) external_vars_pr_one_assertions() (cascada.abstractproperty.chmodel.ChModel method) external_vars_pr_one_constraint() (cascada.abstractproperty.opmodel.OpModel method) external_vars_validity_assertions() (cascada.abstractproperty.chmodel.ChModel method) external_vars_validity_constraint() (cascada.abstractproperty.opmodel.OpModel method) (cascada.linear.opmodel.LinearModelBvAdd method) external_vars_weight_assertions() (cascada.abstractproperty.chmodel.ChModel method) external_vars_weight_constraint() (cascada.abstractproperty.opmodel.OpModel method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.linear.opmodel.LinearModelBvAdd method) Extract (class in cascada.bitvector.operation)

F

FEALCipher (class in cascada.primitives.feal) FEALEncryption (class in cascada.primitives.feal) FEALKeySchedule (class in cascada.primitives.feal) FEALX (in module cascada.primitives.feal) FEALXKeySchedule (class in cascada.primitives.feal) filename (cascada.smt.chsearch.ChFinder attribute) find_best_encryption_characteristic() (in module cascada.primitives.aes_masked) find_best_key_schedule_characteristic() (in module cascada.primitives.aes_masked) find_next_ch() (cascada.smt.chsearch.ChFinder method) (cascada.smt.chsearch.CipherChFinder method) find_next_ch_increasing_weight() (cascada.smt.chsearch.ChFinder method) (cascada.smt.chsearch.CipherChFinder method) find_next_ch_increasing_weight_fixed_in_out() (cascada.smt.chsearch.ChFinder method) (cascada.smt.chsearch.CipherChFinder method) find_next_invalidprop_activebitmode() (cascada.smt.invalidpropsearch.InvalidCipherPropFinder method) (cascada.smt.invalidpropsearch.InvalidPropFinder method) find_next_invalidprop_miss_in_the_middle() (cascada.smt.invalidpropsearch.InvalidCipherPropFinder method) (cascada.smt.invalidpropsearch.InvalidPropFinder method)

find_next_invalidprop_quantified_logic() (cascada.smt.invalidpropsearch.InvalidCipherPropFinder method) (cascada.smt.invalidpropsearch.InvalidPropFinder method) fix_encryption_ch_weight() (cascada.smt.chsearch.CipherChFinder method) fix_key_schedule_ch_weight() (cascada.smt.chsearch.CipherChFinder method) fixed_args (cascada.bitvector.operation.PartialOperation attribute) formula_size() (cascada.bitvector.core.Constant method) (cascada.bitvector.core.Term method) (cascada.bitvector.core.Variable method) (cascada.bitvector.operation.Operation method) (cascada.bitvector.operation.SecondaryOperation method) (cascada.smt.chsearch.ChFinder method) free_diffs (cascada.differential.characteristic.Characteristic attribute) free_masks (cascada.linear.characteristic.Characteristic attribute) free_props (cascada.abstractproperty.characteristic.Characteristic attribute) free_vals (cascada.algebraic.characteristic.Characteristic attribute) from_list_of_assignments() (cascada.bitvector.context.MemoizationTable class method) from_pair() (cascada.differential.difference.Difference class method) func (cascada.abstractproperty.chmodel.ChModel attribute)

G

get_branch_number_model() (in module cascada.differential.opmodel) (in module cascada.linear.opmodel) get_C_code() (cascada.bitvector.ssa.SSA method) get_CHAM_instance() (in module cascada.primitives.cham) get_encryption_constraints() (in module cascada.primitives.aes_masked) get_formatted_logged_msgs() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.characteristic.CipherCharacteristic method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.chmodel.CipherChModel method) (cascada.bitvector.ssa.BvFunction class method) get_id() (cascada.bitvector.context.MemoizationTable method) get_key_schedule_constraints() (in module cascada.primitives.aes_masked) get_name() (cascada.bitvector.ssa.BvFunction class method) (cascada.bitvector.ssa.RoundBasedFunction class method) (cascada.primitives.blockcipher.Cipher class method) get_pair_element() (cascada.differential.difference.Difference method) get_properties_for_initialization() (cascada.abstractproperty.characteristic.Characteristic static method) (cascada.abstractproperty.characteristic.CipherCharacteristic static method) get_random_bvfunction() (in module cascada.bitvector.ssa) get_random_cipher() (in module cascada.primitives.blockcipher)

get_round_separators() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.bitvector.ssa.SSA method) (cascada.differential.chmodel.ChModel method) (cascada.linear.chmodel.ChModel method) get_rounds_outputs() (cascada.bitvector.ssa.RoundBasedFunction class method) get_Simeck_instance() (in module cascada.primitives.simeck) get_Simon_instance() (in module cascada.primitives.simon) get_Speck_instance() (in module cascada.primitives.speck) get_value() (cascada.algebraic.value.BitValue method) (cascada.algebraic.value.Value method) (cascada.algebraic.value.WordValue method) get_wdt_model() (in module cascada.differential.opmodel) (in module cascada.linear.opmodel) get_weak_model() (in module cascada.differential.opmodel) (in module cascada.linear.opmodel) get_wrapped_chcipher() (in module cascada.smt.wrappedchmodel) get_wrapped_chfunc() (in module cascada.smt.wrappedchmodel) get_wrapped_chmodel() (in module cascada.smt.wrappedchmodel) get_wrapped_cipher_chmodel() (in module cascada.smt.wrappedchmodel)

H

hex() (cascada.bitvector.core.Constant method) HightCipher (class in cascada.primitives.hight) HightEncryption (class in cascada.primitives.hight)

HightKeySchedule (class in cascada.primitives.hight) hrepr() (cascada.smt.chsearch.ChFinder method) (cascada.smt.invalidpropsearch.InvalidPropFinder method)

I

INCREMENT_NUM_ROUNDS (in module cascada.smt.chsearch) infix_symbol (cascada.bitvector.operation.Operation attribute) initial_constraints (cascada.smt.chsearch.ChFinder attribute) input_diff (cascada.differential.characteristic.Characteristic attribute) (cascada.differential.chmodel.ChModel attribute) (cascada.differential.opmodel.OpModel attribute) input_mask (cascada.linear.characteristic.Characteristic attribute) (cascada.linear.chmodel.ChModel attribute) input_prop (cascada.abstractproperty.characteristic.Characteristic attribute) (cascada.abstractproperty.chmodel.ChModel attribute) (cascada.abstractproperty.opmodel.OpModel attribute) input_val (cascada.algebraic.characteristic.Characteristic attribute) (cascada.algebraic.chmodel.ChModel attribute) (cascada.algebraic.opmodel.OpModel attribute)

input_vars (cascada.bitvector.ssa.SSA attribute) input_widths (cascada.bitvector.ssa.BvFunction attribute) InputOutput (cascada.abstractproperty.chmodel.ChModelSigType attribute) inv_diff_op (cascada.differential.difference.Difference attribute) (cascada.differential.difference.RXDiff attribute) (cascada.differential.difference.XorDiff attribute) InvalidCipherPropFinder (class in cascada.smt.invalidpropsearch) InvalidOpModelError InvalidPropFinder (class in cascada.smt.invalidpropsearch) is_simple (cascada.bitvector.operation.Operation attribute) is_symmetric (cascada.bitvector.operation.Operation attribute) Ite (class in cascada.bitvector.operation)

K

key_schedule (cascada.primitives.aes.AESCipher attribute) (cascada.primitives.blockcipher.Cipher attribute) (cascada.primitives.feal.FEALCipher attribute) (cascada.primitives.hight.HightCipher attribute) (cascada.primitives.lea.LEACipher attribute) (cascada.primitives.multi2.MULTI2Cipher attribute) (cascada.primitives.noekeon.NOEKEONDirectCipher attribute) (cascada.primitives.noekeon.NOEKEONIndirectCipher attribute) (cascada.primitives.rectangle.RECTANGLE128Cipher attribute) (cascada.primitives.rectangle.RECTANGLE80Cipher attribute) (cascada.primitives.shacal1.SHACAL1Cipher attribute) (cascada.primitives.shacal2.SHACAL2Cipher attribute) (cascada.primitives.skinny128.SKINNYCipher attribute) (cascada.primitives.skinny64.SKINNYCipher attribute) (cascada.primitives.tea.TEACipher attribute) (cascada.primitives.xtea.XTEACipher attribute)

ks_ch_model (cascada.abstractproperty.chmodel.CipherChModel attribute) ks_characteristic (cascada.abstractproperty.characteristic.CipherCharacteristic attribute)

L

LEACipher (class in cascada.primitives.lea) LeadingZeros (class in cascada.bitvector.secondaryop) LEAEncryption (class in cascada.primitives.lea) LEAKeySchedule (class in cascada.primitives.lea) linear_model (cascada.primitives.aes.MixColumnsBitMatrix attribute) (cascada.primitives.aes.SboxLut attribute) (cascada.primitives.aes_masked.SboxA attribute) (cascada.primitives.aes_masked.SboxB attribute) (cascada.primitives.aes_masked.SboxZeroWeight attribute) (cascada.primitives.rectangle.SboxLut attribute) (cascada.primitives.skinny128.SboxLut attribute) (cascada.primitives.skinny64.SboxLut attribute) LinearMask (class in cascada.linear.mask) LinearModelBvAdd (class in cascada.linear.opmodel) LinearModelBvAnd (class in cascada.linear.opmodel)

LinearModelBvAndCt (class in cascada.linear.opmodel) LinearModelBvLshrCt (class in cascada.linear.opmodel) LinearModelBvOr (class in cascada.linear.opmodel) LinearModelBvOrCt (class in cascada.linear.opmodel) LinearModelBvShlCt (class in cascada.linear.opmodel) LinearModelBvSub (class in cascada.linear.opmodel) LinearModelBvXor (class in cascada.linear.opmodel) LinearModelExtractCt (class in cascada.linear.opmodel) LinearModelFreeBranch (class in cascada.linear.opmodel) LinearModelId (class in cascada.linear.opmodel) log_msg() (cascada.bitvector.ssa.BvFunction class method) LoggingMode (class in cascada.primitives.aes_like) loop_rows_then_columns (cascada.abstractproperty.opmodel.WDTModel attribute) lut (cascada.bitvector.secondaryop.LutOperation attribute) LutOperation (class in cascada.bitvector.secondaryop)

M

make_chfunc_as_op() (in module cascada.smt.wrappedchmodel) make_chfuncasop_model() (in module cascada.smt.wrappedchmodel) make_partial_op_model() (in module cascada.abstractproperty.opmodel) make_partial_operation() (in module cascada.bitvector.operation) make_partial_propextract() (in module cascada.abstractproperty.property) mask_type (cascada.linear.chmodel.ChModel attribute) matrix (cascada.bitvector.secondaryop.MatrixOperation attribute) MatrixOperation (class in cascada.bitvector.secondaryop) max_weight() (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.chmodel.ChModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.chmodel.ChModel method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method) Memoization (class in cascada.bitvector.context) memoization_table() (cascada.bitvector.operation.Operation method) MemoizationTable (class in cascada.bitvector.context) MissingVarWarning mix_columns_bit_matrix (cascada.primitives.aes.AESEncryption attribute) (cascada.primitives.aes_masked.AESMaskedEncryption attribute) MixColumnsBitMatrix (class in cascada.primitives.aes) ModelChFuncAsOp (class in cascada.smt.wrappedchmodel) ModelIdentity (class in cascada.abstractproperty.opmodel) module cascada cascada.abstractproperty cascada.abstractproperty.characteristic cascada.abstractproperty.chmodel cascada.abstractproperty.opmodel cascada.abstractproperty.property cascada.algebraic cascada.algebraic.characteristic cascada.algebraic.chmodel cascada.algebraic.opmodel cascada.algebraic.value cascada.bitvector cascada.bitvector.context cascada.bitvector.core cascada.bitvector.operation cascada.bitvector.printing cascada.bitvector.secondaryop cascada.bitvector.ssa cascada.differential cascada.differential.characteristic cascada.differential.chmodel cascada.differential.difference cascada.differential.opmodel cascada.linear cascada.linear.characteristic cascada.linear.chmodel cascada.linear.mask cascada.linear.opmodel cascada.primitives cascada.primitives.aes cascada.primitives.aes_like cascada.primitives.aes_masked cascada.primitives.blockcipher cascada.primitives.cham cascada.primitives.chaskey cascada.primitives.feal cascada.primitives.hight cascada.primitives.lea cascada.primitives.multi2 cascada.primitives.noekeon cascada.primitives.picipher cascada.primitives.rectangle cascada.primitives.shacal1 cascada.primitives.shacal2 cascada.primitives.simeck cascada.primitives.simon cascada.primitives.simon_rf cascada.primitives.skinny128 cascada.primitives.skinny64 cascada.primitives.speck cascada.primitives.tea cascada.primitives.xtea cascada.smt cascada.smt.chsearch cascada.smt.invalidpropsearch cascada.smt.pysmttypes cascada.smt.wrappedchmodel

MSBbit (cascada.smt.invalidpropsearch.ActiveBitMode attribute) MULTI2Cipher (class in cascada.primitives.multi2) MULTI2Encryption (class in cascada.primitives.multi2) MULTI2KeySchedule (class in cascada.primitives.multi2) multiuse_var2singleuse_vars (cascada.bitvector.ssa.SSA attribute)

N

N (in module cascada.primitives.shacal1) (in module cascada.primitives.shacal2) name (cascada.bitvector.core.Variable property) NOEKEONDirectCipher (class in cascada.primitives.noekeon) NOEKEONDirectKeySchedule (class in cascada.primitives.noekeon) NOEKEONEncryption (class in cascada.primitives.noekeon) NOEKEONIndirectCipher (class in cascada.primitives.noekeon) NOEKEONIndirectKeySchedule (class in cascada.primitives.noekeon) nonzero2nonzero_weight (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.abstractproperty.opmodel.WeakModel attribute) nonzero2zero_weight (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.abstractproperty.opmodel.WeakModel attribute) num_aux_weights (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) num_external_samples (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) num_frac_bits() (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method)

num_inf_aux_weights (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) num_input_samples (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) num_rounds (cascada.bitvector.ssa.RoundBasedFunction attribute) (cascada.primitives.blockcipher.Cipher property)

O

oct() (cascada.bitvector.core.Constant method) op (cascada.abstractproperty.opmodel.ModelIdentity attribute) (cascada.abstractproperty.opmodel.OpModel attribute) (cascada.algebraic.opmodel.BitModelBvAdd attribute) (cascada.algebraic.opmodel.BitModelBvSub attribute) (cascada.differential.opmodel.RXModelBvAdd attribute) (cascada.differential.opmodel.RXModelBvAnd attribute) (cascada.differential.opmodel.RXModelBvIf attribute) (cascada.differential.opmodel.RXModelBvMaj attribute) (cascada.differential.opmodel.RXModelBvOr attribute) (cascada.differential.opmodel.RXModelBvSub attribute) (cascada.differential.opmodel.XorModelBvAdd attribute) (cascada.differential.opmodel.XorModelBvAnd attribute) (cascada.differential.opmodel.XorModelBvIf attribute) (cascada.differential.opmodel.XorModelBvMaj attribute) (cascada.differential.opmodel.XorModelBvOr attribute) (cascada.differential.opmodel.XorModelBvSub attribute) (cascada.linear.opmodel.LinearModelBvAdd attribute) (cascada.linear.opmodel.LinearModelBvAnd attribute) (cascada.linear.opmodel.LinearModelBvOr attribute) (cascada.linear.opmodel.LinearModelBvSub attribute) (cascada.linear.opmodel.LinearModelBvXor attribute) (cascada.linear.opmodel.LinearModelFreeBranch attribute) (cascada.primitives.simeck.RXModelSimeckRF attribute) (cascada.primitives.simeck.XorModelSimeckRF attribute) (cascada.primitives.simon_rf.RXModelSimonRF attribute) (cascada.primitives.simon_rf.XorModelSimonRF attribute) operand_types (cascada.bitvector.operation.Operation attribute) Operation (class in cascada.bitvector.operation) OpModel (class in cascada.abstractproperty.opmodel) (class in cascada.algebraic.opmodel) (class in cascada.differential.opmodel) (class in cascada.linear.opmodel) output_diff (cascada.differential.characteristic.Characteristic attribute) (cascada.differential.chmodel.ChModel attribute) output_mask (cascada.linear.characteristic.Characteristic attribute) (cascada.linear.chmodel.ChModel attribute) output_prop (cascada.abstractproperty.characteristic.Characteristic attribute) (cascada.abstractproperty.chmodel.ChModel attribute) output_val (cascada.algebraic.characteristic.Characteristic attribute) (cascada.algebraic.chmodel.ChModel attribute)

output_vars (cascada.bitvector.ssa.SSA attribute) output_width() (cascada.bitvector.operation.BvAdd class method) (cascada.bitvector.operation.BvAnd class method) (cascada.bitvector.operation.BvComp class method) (cascada.bitvector.operation.BvIdentity class method) (cascada.bitvector.operation.BvLshr class method) (cascada.bitvector.operation.BvMul class method) (cascada.bitvector.operation.BvNeg class method) (cascada.bitvector.operation.BvNot class method) (cascada.bitvector.operation.BvOr class method) (cascada.bitvector.operation.BvShl class method) (cascada.bitvector.operation.BvSub class method) (cascada.bitvector.operation.BvUdiv class method) (cascada.bitvector.operation.BvUge class method) (cascada.bitvector.operation.BvUgt class method) (cascada.bitvector.operation.BvUle class method) (cascada.bitvector.operation.BvUlt class method) (cascada.bitvector.operation.BvUrem class method) (cascada.bitvector.operation.BvXor class method) (cascada.bitvector.operation.Concat class method) (cascada.bitvector.operation.Extract class method) (cascada.bitvector.operation.Ite class method) (cascada.bitvector.operation.Operation method) (cascada.bitvector.operation.RotateLeft class method) (cascada.bitvector.operation.RotateRight class method) (cascada.bitvector.secondaryop.BvIf class method) (cascada.bitvector.secondaryop.BvMaj class method) (cascada.bitvector.secondaryop.LeadingZeros class method) (cascada.bitvector.secondaryop.LutOperation class method) (cascada.bitvector.secondaryop.MatrixOperation class method) (cascada.bitvector.secondaryop.PopCount class method) (cascada.bitvector.secondaryop.PopCountDiff class method) (cascada.bitvector.secondaryop.PopCountSum2 class method) (cascada.bitvector.secondaryop.PopCountSum3 class method) (cascada.bitvector.secondaryop.Reverse class method) (cascada.differential.difference.RXInvOp class method) (cascada.differential.difference.RXOp class method) (cascada.primitives.simon_rf.SimonRF class method) (cascada.smt.wrappedchmodel.ChFuncAsOp class method) output_widths (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.bitvector.ssa.BvFunction attribute)

P

PartialOperation (class in cascada.bitvector.operation) PartialOpModel (class in cascada.abstractproperty.opmodel) (class in cascada.differential.opmodel) (class in cascada.linear.opmodel) PiPermutation (class in cascada.primitives.picipher) PopCount (class in cascada.bitvector.secondaryop) PopCountDiff (class in cascada.bitvector.secondaryop) PopCountSum2 (class in cascada.bitvector.secondaryop) PopCountSum3 (class in cascada.bitvector.secondaryop) pr_one_assertions() (cascada.abstractproperty.chmodel.ChModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.differential.chmodel.ChModel method) (cascada.linear.chmodel.ChModel method) pr_one_constraint() (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method)

pre_eval() (cascada.bitvector.operation.SecondaryOperation class method) (cascada.bitvector.secondaryop.BvIf class method) (cascada.bitvector.secondaryop.BvMaj class method) precision (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.abstractproperty.opmodel.WDTModel attribute) (cascada.abstractproperty.opmodel.WeakModel attribute) PrimaryOperation (class in cascada.bitvector.operation) PrimaryOperationEvaluation (class in cascada.bitvector.context) printing_mode (cascada.smt.chsearch.ChFinder attribute) PrintingMode (class in cascada.smt.chsearch) ProbabilityOne (cascada.smt.chsearch.ChModelAssertType attribute) prop_type (cascada.abstractproperty.chmodel.ChModel attribute) (cascada.abstractproperty.chmodel.CipherChModel attribute) (cascada.abstractproperty.opmodel.OpModel attribute) (cascada.linear.opmodel.OpModel attribute) propagate() (cascada.abstractproperty.property.Property class method) (cascada.algebraic.value.BitValue class method) (cascada.algebraic.value.WordValue class method) (cascada.differential.difference.RXDiff class method) (cascada.differential.difference.XorDiff class method) (cascada.linear.mask.LinearMask class method) PropConcat (class in cascada.abstractproperty.property) Property (class in cascada.abstractproperty.property) PropExtract (class in cascada.abstractproperty.property) pysmt2bv() (in module cascada.smt.pysmttypes) pysmt_model2bv_model() (in module cascada.smt.pysmttypes)

R

random() (cascada.abstractproperty.characteristic.Characteristic class method) (cascada.abstractproperty.characteristic.CipherCharacteristic class method) (cascada.abstractproperty.characteristic.EncryptionCharacteristic class method) (cascada.algebraic.characteristic.Characteristic class method) (cascada.algebraic.characteristic.CipherCharacteristic class method) (cascada.algebraic.characteristic.EncryptionCharacteristic class method) (cascada.differential.characteristic.Characteristic class method) (cascada.differential.characteristic.CipherCharacteristic class method) (cascada.differential.characteristic.EncryptionCharacteristic class method) (cascada.linear.characteristic.Characteristic class method) RECTANGLE128Cipher (class in cascada.primitives.rectangle) RECTANGLE128KeySchedule (class in cascada.primitives.rectangle) RECTANGLE80Cipher (class in cascada.primitives.rectangle) RECTANGLE80KeySchedule (class in cascada.primitives.rectangle) RECTANGLEEncryption (class in cascada.primitives.rectangle) repeat() (in module cascada.bitvector.operation) replace_id() (cascada.bitvector.context.MemoizationTable method) Reverse (class in cascada.bitvector.secondaryop) RotateLeft (class in cascada.bitvector.operation) RotateRight (class in cascada.bitvector.operation) round_based_ch_search() (in module cascada.smt.chsearch)

round_based_cipher_ch_search() (in module cascada.smt.chsearch) round_based_invalidcipherprop_search() (in module cascada.smt.invalidpropsearch) round_based_invalidprop_search() (in module cascada.smt.invalidpropsearch) round_keys (cascada.primitives.blockcipher.Encryption attribute) RoundBasedFunction (class in cascada.bitvector.ssa) RoundOutputs (cascada.primitives.aes_like.LoggingMode attribute) rx_model (cascada.primitives.simeck.SimeckRF attribute) (cascada.primitives.simon_rf.SimonRF attribute) RXDiff (class in cascada.differential.difference) RXInvOp (class in cascada.differential.difference) RXModelBvAdd (class in cascada.differential.opmodel) RXModelBvAnd (class in cascada.differential.opmodel) RXModelBvIf (class in cascada.differential.opmodel) RXModelBvLshrCt (class in cascada.differential.opmodel) RXModelBvMaj (class in cascada.differential.opmodel) RXModelBvOr (class in cascada.differential.opmodel) RXModelBvShlCt (class in cascada.differential.opmodel) RXModelBvSub (class in cascada.differential.opmodel) RXModelId (class in cascada.differential.opmodel) RXModelSimeckRF (class in cascada.primitives.simeck) RXModelSimonRF (class in cascada.primitives.simon_rf) RXOp (class in cascada.differential.difference)

S

sbox (cascada.primitives.aes.AESEncryption attribute) (cascada.primitives.skinny128.SKINNYEncryption attribute) (cascada.primitives.skinny64.SKINNYEncryption attribute) SboxA (class in cascada.primitives.aes_masked) SboxB (class in cascada.primitives.aes_masked) SboxLut (class in cascada.primitives.aes) (class in cascada.primitives.rectangle) (class in cascada.primitives.skinny128) (class in cascada.primitives.skinny64) SboxZeroWeight (class in cascada.primitives.aes_masked) SecondaryOperation (class in cascada.bitvector.operation) SecondaryOperationEvaluation (class in cascada.bitvector.context) seed (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) set_num_rounds() (cascada.bitvector.ssa.RoundBasedFunction class method) (cascada.primitives.aes.AESCipher class method) (cascada.primitives.aes.AESKeySchedule class method) (cascada.primitives.aes_like.AESLikeFunction class method) (cascada.primitives.aes_masked.AESMaskedKeySchedule class method) (cascada.primitives.blockcipher.Cipher class method) (cascada.primitives.chaskey.ChaskeyPi class method) (cascada.primitives.feal.FEALCipher class method) (cascada.primitives.feal.FEALEncryption class method) (cascada.primitives.feal.FEALKeySchedule class method) (cascada.primitives.feal.FEALXKeySchedule class method) (cascada.primitives.hight.HightCipher class method) (cascada.primitives.hight.HightEncryption class method) (cascada.primitives.hight.HightKeySchedule class method) (cascada.primitives.lea.LEACipher class method) (cascada.primitives.lea.LEAEncryption class method) (cascada.primitives.lea.LEAKeySchedule class method) (cascada.primitives.multi2.MULTI2Cipher class method) (cascada.primitives.multi2.MULTI2Encryption class method) (cascada.primitives.multi2.MULTI2KeySchedule class method) (cascada.primitives.noekeon.NOEKEONDirectCipher class method) (cascada.primitives.noekeon.NOEKEONEncryption class method) (cascada.primitives.noekeon.NOEKEONIndirectCipher class method) (cascada.primitives.noekeon.NOEKEONIndirectKeySchedule class method) (cascada.primitives.picipher.PiPermutation class method) (cascada.primitives.rectangle.RECTANGLE128Cipher class method) (cascada.primitives.rectangle.RECTANGLE128KeySchedule class method) (cascada.primitives.rectangle.RECTANGLE80Cipher class method) (cascada.primitives.rectangle.RECTANGLE80KeySchedule class method) (cascada.primitives.rectangle.RECTANGLEEncryption class method) (cascada.primitives.shacal1.SHACAL1Cipher class method) (cascada.primitives.shacal1.SHACAL1Encryption class method) (cascada.primitives.shacal1.SHACAL1KeySchedule class method) (cascada.primitives.shacal2.SHACAL2Cipher class method) (cascada.primitives.shacal2.SHACAL2Encryption class method) (cascada.primitives.shacal2.SHACAL2KeySchedule class method) (cascada.primitives.skinny128.SKINNYCipher class method) (cascada.primitives.skinny128.SKINNYTweakeySchedule class method) (cascada.primitives.skinny64.SKINNYTweakeySchedule class method) (cascada.primitives.tea.TEACipher class method) (cascada.primitives.tea.TEAEncryption class method) (cascada.primitives.xtea.XTEACipher class method) (cascada.primitives.xtea.XTEAEncryption class method) (cascada.primitives.xtea.XTEAKeySchedule class method) set_num_rounds_and_return() (cascada.bitvector.ssa.RoundBasedFunction class method) (cascada.primitives.blockcipher.Cipher class method) set_round_keys() (cascada.primitives.blockcipher.Cipher class method) SHACAL1Cipher (class in cascada.primitives.shacal1)

SHACAL1Encryption (class in cascada.primitives.shacal1) SHACAL1KeySchedule (class in cascada.primitives.shacal1) SHACAL2Cipher (class in cascada.primitives.shacal2) SHACAL2Encryption (class in cascada.primitives.shacal2) SHACAL2KeySchedule (class in cascada.primitives.shacal2) signature() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.characteristic.CipherCharacteristic method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.chmodel.CipherChModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.algebraic.chmodel.CipherChModel method) (cascada.differential.chmodel.ChModel method) (cascada.differential.chmodel.CipherChModel method) (cascada.linear.chmodel.ChModel method) Silent (cascada.primitives.aes_like.LoggingMode attribute) (cascada.smt.chsearch.PrintingMode attribute) simeck_32_64 (cascada.primitives.simeck.SimeckInstance attribute) simeck_48_96 (cascada.primitives.simeck.SimeckInstance attribute) simeck_64_128 (cascada.primitives.simeck.SimeckInstance attribute) SimeckInstance (class in cascada.primitives.simeck) SimeckRF (class in cascada.primitives.simeck) simon_32_64 (cascada.primitives.simon.SimonInstance attribute) simon_48_96 (cascada.primitives.simon.SimonInstance attribute) simon_64_128 (cascada.primitives.simon.SimonInstance attribute) SimonInstance (class in cascada.primitives.simon) SimonRF (class in cascada.primitives.simon_rf) Simplification (class in cascada.bitvector.context) SingleBit (cascada.smt.invalidpropsearch.ActiveBitMode attribute) singleuse_var2multiuse_var (cascada.bitvector.ssa.SSA attribute) SKINNYCipher (class in cascada.primitives.skinny128) (class in cascada.primitives.skinny64) SKINNYEncryption (class in cascada.primitives.skinny128) (class in cascada.primitives.skinny64) SKINNYTweakeySchedule (class in cascada.primitives.skinny128) (class in cascada.primitives.skinny64) solver_name (cascada.smt.chsearch.ChFinder attribute) solver_seed (cascada.smt.chsearch.ChFinder attribute) speck_32_64 (cascada.primitives.speck.SpeckInstance attribute) speck_48_96 (cascada.primitives.speck.SpeckInstance attribute) speck_64_128 (cascada.primitives.speck.SpeckInstance attribute) speck_64_96 (cascada.primitives.speck.SpeckInstance attribute) SpeckInstance (class in cascada.primitives.speck) split() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.characteristic.EncryptionCharacteristic method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.chmodel.EncryptionChModel method) (cascada.algebraic.characteristic.Characteristic method) (cascada.algebraic.chmodel.ChModel method) (cascada.bitvector.ssa.SSA method) (cascada.differential.characteristic.Characteristic method) (cascada.differential.chmodel.ChModel method) (cascada.linear.characteristic.Characteristic method) (cascada.linear.chmodel.ChModel method) srepr() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.characteristic.CipherCharacteristic method) (cascada.bitvector.core.Term method) ssa (cascada.abstractproperty.chmodel.ChModel attribute) SSA (class in cascada.bitvector.ssa) SSAReturn (class in cascada.bitvector.ssa) StatefulContext (class in cascada.bitvector.context) StepOutputs (cascada.primitives.aes_like.LoggingMode attribute)

T

TEACipher (class in cascada.primitives.tea) TEAEncryption (class in cascada.primitives.tea) TEAKeySchedule (class in cascada.primitives.tea) Term (class in cascada.bitvector.core) test() (cascada.primitives.aes.AESKeySchedule class method) (cascada.primitives.feal.FEALCipher class method) (cascada.primitives.hight.HightCipher class method) (cascada.primitives.noekeon.NOEKEONDirectCipher class method) (cascada.primitives.noekeon.NOEKEONIndirectCipher class method) (cascada.primitives.rectangle.RECTANGLE128Cipher class method) (cascada.primitives.rectangle.RECTANGLE80Cipher class method) (cascada.primitives.tea.TEACipher class method) (cascada.primitives.xtea.XTEACipher class method)

to_bvfunction() (cascada.bitvector.ssa.SSA method) to_ssa() (cascada.bitvector.ssa.BvFunction class method) (cascada.bitvector.ssa.RoundBasedFunction class method) transpose() (in module cascada.primitives.rectangle) tuple_assign_outdiff2op_model (cascada.differential.characteristic.Characteristic attribute) tuple_assign_outmask2op_model (cascada.linear.characteristic.Characteristic attribute) tuple_assign_outprop2op_model (cascada.abstractproperty.characteristic.Characteristic attribute) tuple_assign_outval2op_model (cascada.algebraic.characteristic.Characteristic attribute)

U

unary_symbol (cascada.bitvector.operation.Operation attribute)

Unique (cascada.abstractproperty.chmodel.ChModelSigType attribute)

V

val (cascada.abstractproperty.property.Property attribute) (cascada.bitvector.core.Constant property) val_type (cascada.algebraic.chmodel.ChModel attribute) (cascada.algebraic.opmodel.BitModelBvAdd attribute) (cascada.algebraic.opmodel.BitModelBvSub attribute) (cascada.algebraic.opmodel.BitModelId attribute) (cascada.algebraic.opmodel.OpModel attribute) (cascada.algebraic.opmodel.WordModelId attribute) Validation (class in cascada.bitvector.context) Validity (cascada.smt.chsearch.ChModelAssertType attribute) validity_assertions() (cascada.abstractproperty.chmodel.ChModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.differential.chmodel.ChModel method) (cascada.linear.chmodel.ChModel method) validity_constraint() (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.BitModelBvAdd method) (cascada.algebraic.opmodel.BitModelBvSub method) (cascada.algebraic.opmodel.BitModelId method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvLshrCt method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvLshrCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method) ValidityAndWeight (cascada.smt.chsearch.ChModelAssertType attribute)

Value (class in cascada.algebraic.value) var2diff (cascada.differential.chmodel.ChModel attribute) var2mask (cascada.linear.chmodel.ChModel attribute) var2prop (cascada.abstractproperty.chmodel.ChModel attribute) var2val (cascada.algebraic.chmodel.ChModel attribute) var_diff2ct_diff (cascada.differential.characteristic.Characteristic attribute) var_mask2ct_mask (cascada.linear.characteristic.Characteristic attribute) var_prop2ct_prop (cascada.abstractproperty.characteristic.Characteristic attribute) var_val2ct_val (cascada.algebraic.characteristic.Characteristic attribute) Variable (class in cascada.bitvector.core) vrepr() (cascada.abstractproperty.characteristic.Characteristic method) (cascada.abstractproperty.characteristic.CipherCharacteristic method) (cascada.abstractproperty.characteristic.EmpiricalWeightData method) (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.chmodel.CipherChModel method) (cascada.abstractproperty.chmodel.EncryptionChModel method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.abstractproperty.opmodel.PartialOpModel method) (cascada.abstractproperty.property.Property method) (cascada.algebraic.characteristic.Characteristic method) (cascada.algebraic.chmodel.ChModel method) (cascada.algebraic.chmodel.CipherChModel method) (cascada.algebraic.chmodel.EncryptionChModel method) (cascada.bitvector.core.Term method) (cascada.bitvector.ssa.BvFunction class method) (cascada.bitvector.ssa.RoundBasedFunction class method) (cascada.bitvector.ssa.SSA method) (cascada.differential.characteristic.Characteristic method) (cascada.differential.characteristic.CipherCharacteristic method) (cascada.differential.chmodel.ChModel method) (cascada.differential.chmodel.CipherChModel method) (cascada.differential.chmodel.EncryptionChModel method) (cascada.linear.characteristic.Characteristic method) (cascada.linear.chmodel.ChModel method) (cascada.linear.chmodel.EncryptionChModel method) (cascada.primitives.blockcipher.Cipher class method) (cascada.smt.wrappedchmodel.ChFuncAsOp method)

W

WDTModel (class in cascada.abstractproperty.opmodel) WeakModel (class in cascada.abstractproperty.opmodel) weight_assertions() (cascada.abstractproperty.chmodel.ChModel method) (cascada.algebraic.chmodel.ChModel method) (cascada.differential.chmodel.ChModel method) (cascada.linear.chmodel.ChModel method) weight_avg_aux_prs (cascada.abstractproperty.characteristic.EmpiricalWeightData attribute) weight_constraint() (cascada.abstractproperty.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) weight_distribution_table (cascada.abstractproperty.opmodel.WDTModel attribute) weight_prefix (cascada.smt.chsearch.ChFinder attribute)

weight_width() (cascada.abstractproperty.chmodel.ChModel method) (cascada.abstractproperty.opmodel.ModelIdentity method) (cascada.abstractproperty.opmodel.OpModel method) (cascada.algebraic.opmodel.OpModel method) (cascada.differential.opmodel.RXModelBvAdd method) (cascada.differential.opmodel.RXModelBvShlCt method) (cascada.differential.opmodel.XorModelBvAdd method) (cascada.differential.opmodel.XorModelBvAddCt method) (cascada.differential.opmodel.XorModelBvIf method) (cascada.differential.opmodel.XorModelBvMaj method) (cascada.differential.opmodel.XorModelBvOr method) (cascada.linear.opmodel.LinearModelBvAdd method) (cascada.linear.opmodel.LinearModelBvAnd method) (cascada.linear.opmodel.LinearModelBvAndCt method) (cascada.linear.opmodel.LinearModelBvShlCt method) (cascada.linear.opmodel.LinearModelBvXor method) (cascada.linear.opmodel.LinearModelExtractCt method) (cascada.linear.opmodel.LinearModelFreeBranch method) (cascada.primitives.simon_rf.XorModelSimonRF method) WeightsAndSrepr (cascada.smt.chsearch.PrintingMode attribute) WeightsAndVrepr (cascada.smt.chsearch.PrintingMode attribute) width (cascada.bitvector.core.Term property) WordModelId (class in cascada.algebraic.opmodel) WordValue (class in cascada.algebraic.value)

X

xor_model (cascada.primitives.aes.MixColumnsBitMatrix attribute) (cascada.primitives.aes.SboxLut attribute) (cascada.primitives.rectangle.SboxLut attribute) (cascada.primitives.simeck.SimeckRF attribute) (cascada.primitives.simon_rf.SimonRF attribute) (cascada.primitives.skinny128.SboxLut attribute) (cascada.primitives.skinny64.SboxLut attribute) XorDiff (class in cascada.differential.difference) XorModelBvAdd (class in cascada.differential.opmodel) XorModelBvAddCt (class in cascada.differential.opmodel) XorModelBvAnd (class in cascada.differential.opmodel)

XorModelBvIf (class in cascada.differential.opmodel) XorModelBvMaj (class in cascada.differential.opmodel) XorModelBvOr (class in cascada.differential.opmodel) XorModelBvSub (class in cascada.differential.opmodel) XorModelBvSubCt (class in cascada.differential.opmodel) XorModelId (class in cascada.differential.opmodel) XorModelSimeckRF (class in cascada.primitives.simeck) XorModelSimonRF (class in cascada.primitives.simon_rf) xreplace() (cascada.abstractproperty.property.Property method) XTEACipher (class in cascada.primitives.xtea) XTEAEncryption (class in cascada.primitives.xtea) XTEAKeySchedule (class in cascada.primitives.xtea)

Z

Zero (cascada.smt.invalidpropsearch.ActiveBitMode attribute) zero2nonzero_weight (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.abstractproperty.opmodel.WeakModel attribute)

zero2zero_weight (cascada.abstractproperty.opmodel.BranchNumberModel attribute) (cascada.abstractproperty.opmodel.WeakModel attribute) zero_extend() (in module cascada.bitvector.operation)