Index

A

ActivationMode (class in arxpy.smt.search_impossible) add_op() (arxpy.bitvector.context.MemoizationTable method) AllID (arxpy.smt.search_impossible.SearchMode attribute) AllOptimal (arxpy.smt.search_differential.ChSearchMode attribute) AllOptimalMinSum (arxpy.smt.search_differential.RkChSearchMode attribute) AllValid (arxpy.smt.search_differential.ChSearchMode attribute) (arxpy.smt.search_differential.RkChSearchMode attribute) alt_name (arxpy.bitvector.operation.Operation attribute) arity (arxpy.bitvector.operation.Operation attribute) arxpy module arxpy.bitvector module arxpy.bitvector.context module arxpy.bitvector.core module arxpy.bitvector.extraop module arxpy.bitvector.operation module arxpy.bitvector.printing module arxpy.differential module arxpy.differential.characteristic module arxpy.differential.derivative module arxpy.differential.difference module arxpy.primitives module

arxpy.primitives.chaskey module arxpy.primitives.hight module arxpy.primitives.lea module arxpy.primitives.primitives module arxpy.primitives.shacal1 module arxpy.primitives.shacal2 module arxpy.primitives.simon module arxpy.primitives.speck module arxpy.primitives.tea module arxpy.primitives.xtea module arxpy.smt module arxpy.smt.search_differential module arxpy.smt.search_impossible module arxpy.smt.types module arxpy.smt.verification_differential module arxpy.smt.verification_impossible module atoms() (arxpy.bitvector.core.Term method)

B

bin() (arxpy.bitvector.core.Constant method) bitvectify() (in module arxpy.bitvector.core) bv2ccode() (in module arxpy.smt.verification_differential) bv2pysmt() (in module arxpy.smt.types) BvAdd (class in arxpy.bitvector.operation) BvAnd (class in arxpy.bitvector.operation) BvCharacteristic (class in arxpy.differential.characteristic) BvComp (class in arxpy.bitvector.operation) BvFunction (class in arxpy.primitives.primitives) BvIf (class in arxpy.primitives.shacal1) BvLshr (class in arxpy.bitvector.operation) BvMaj (class in arxpy.primitives.shacal1) BvMul (class in arxpy.bitvector.operation) BvNeg (class in arxpy.bitvector.operation)

BvNot (class in arxpy.bitvector.operation) BvOr (class in arxpy.bitvector.operation) BvReprPrinter (class in arxpy.bitvector.printing) BvShl (class in arxpy.bitvector.operation) BvShortPrinter (class in arxpy.bitvector.printing) BvStrPrinter (class in arxpy.bitvector.printing) BvSub (class in arxpy.bitvector.operation) BvUdiv (class in arxpy.bitvector.operation) BvUge (class in arxpy.bitvector.operation) BvUgt (class in arxpy.bitvector.operation) BvUle (class in arxpy.bitvector.operation) BvUlt (class in arxpy.bitvector.operation) BvUrem (class in arxpy.bitvector.operation) BvWrapPrinter (class in arxpy.bitvector.printing) BvXor (class in arxpy.bitvector.operation)

C

Cache (class in arxpy.bitvector.context) ch (arxpy.smt.search_differential.ChFound attribute) (arxpy.smt.search_impossible.IDFound attribute) ch_weight (arxpy.smt.search_differential.ChFound attribute) ChaskeyPi (class in arxpy.primitives.chaskey) check_empirical_weight() (arxpy.smt.search_differential.ChFound method) (arxpy.smt.search_differential.RkChFound method) (arxpy.smt.search_differential.SkChFound method) (arxpy.smt.search_impossible.IDFound method) (arxpy.smt.search_impossible.RkIDFound method) (arxpy.smt.search_impossible.SkIDFound method) ChFound (class in arxpy.smt.search_differential) ChSearchMode (class in arxpy.smt.search_differential) ChSignatureType (class in arxpy.differential.characteristic) Cipher (class in arxpy.primitives.primitives) class_key() (arxpy.bitvector.core.Constant class method) (arxpy.bitvector.core.Term method) (arxpy.bitvector.operation.Operation class method) clear() (arxpy.bitvector.context.MemoizationTable method) compile_run_empirical_weight() (in module arxpy.smt.verification_differential) Concat (class in arxpy.bitvector.operation) condition() (arxpy.bitvector.extraop.PopCountDiff class method) (arxpy.bitvector.extraop.PopCountSum2 class method) (arxpy.bitvector.extraop.PopCountSum3 class method) (arxpy.bitvector.operation.BvAdd class method) (arxpy.bitvector.operation.BvAnd class method) (arxpy.bitvector.operation.BvComp class method) (arxpy.bitvector.operation.BvLshr class method) (arxpy.bitvector.operation.BvMul class method) (arxpy.bitvector.operation.BvOr class method) (arxpy.bitvector.operation.BvShl class method) (arxpy.bitvector.operation.BvSub class method) (arxpy.bitvector.operation.BvUdiv class method) (arxpy.bitvector.operation.BvUge class method) (arxpy.bitvector.operation.BvUgt class method) (arxpy.bitvector.operation.BvUle class method) (arxpy.bitvector.operation.BvUlt class method) (arxpy.bitvector.operation.BvUrem class method) (arxpy.bitvector.operation.BvXor class method) (arxpy.bitvector.operation.Extract class method) (arxpy.bitvector.operation.Ite class method) (arxpy.bitvector.operation.Operation class method) (arxpy.bitvector.operation.Repeat class method) (arxpy.bitvector.operation.RotateLeft class method) (arxpy.bitvector.operation.RotateRight class method) (arxpy.bitvector.operation.ZeroExtend class method) (arxpy.differential.difference.RXInvOp class method) (arxpy.differential.difference.RXOp class method)

Constant (class in arxpy.bitvector.core) contain_op() (arxpy.bitvector.context.MemoizationTable method)

D

decimal2bin() (arxpy.differential.derivative.RXDA static method) Default (arxpy.smt.search_differential.DerMode attribute) (arxpy.smt.search_impossible.ActivationMode attribute) der_weights (arxpy.smt.search_differential.ChFound attribute) Derivative (class in arxpy.differential.derivative) derivative() (arxpy.differential.difference.Difference class method) (arxpy.differential.difference.RXDiff class method) (arxpy.differential.difference.XorDiff class method) DerMode (class in arxpy.smt.search_differential) diff_op (arxpy.differential.difference.Difference attribute) (arxpy.differential.difference.RXDiff attribute) (arxpy.differential.difference.XorDiff attribute)

diff_type (arxpy.differential.characteristic.BvCharacteristic attribute) (arxpy.differential.derivative.Derivative attribute) (arxpy.differential.derivative.RXDA attribute) (arxpy.differential.derivative.XDA attribute) (arxpy.differential.derivative.XDCA attribute) (arxpy.differential.derivative.XDS attribute) (arxpy.primitives.shacal1.XDIf attribute) (arxpy.primitives.shacal1.XDMaj attribute) (arxpy.primitives.simon.XDSimonRF attribute) Difference (class in arxpy.differential.difference) doit() (arxpy.bitvector.core.Term method) dotprinting() (in module arxpy.bitvector.printing)

E

empirical_weight() (arxpy.differential.characteristic.BvCharacteristic method) (arxpy.differential.characteristic.RelatedKeyCh method) (arxpy.differential.characteristic.SingleKeyCh method) enc_ch_found (arxpy.smt.search_differential.RkChFound attribute) enc_id_found (arxpy.smt.search_impossible.RkIDFound attribute) encryption (arxpy.primitives.hight.HightCipher attribute) (arxpy.primitives.lea.LeaCipher attribute) (arxpy.primitives.primitives.Cipher attribute) (arxpy.primitives.shacal1.Shacal1Cipher attribute) (arxpy.primitives.shacal2.Shacal2Cipher attribute) (arxpy.primitives.tea.TeaCipher attribute) (arxpy.primitives.xtea.XteaCipher attribute) Encryption (class in arxpy.primitives.primitives) encryption_ch (arxpy.differential.characteristic.RelatedKeyCh attribute) error() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method) (arxpy.smt.search_differential.SearchCh method) eval() (arxpy.bitvector.extraop.LeadingZeros class method) (arxpy.bitvector.extraop.PopCount class method) (arxpy.bitvector.extraop.PopCountDiff class method) (arxpy.bitvector.extraop.PopCountSum2 class method) (arxpy.bitvector.extraop.PopCountSum3 class method) (arxpy.bitvector.extraop.Reverse class method) (arxpy.bitvector.operation.BvAdd class method) (arxpy.bitvector.operation.BvAnd class method) (arxpy.bitvector.operation.BvComp class method) (arxpy.bitvector.operation.BvLshr class method) (arxpy.bitvector.operation.BvMul class method) (arxpy.bitvector.operation.BvNeg class method) (arxpy.bitvector.operation.BvNot class method) (arxpy.bitvector.operation.BvOr class method) (arxpy.bitvector.operation.BvShl class method) (arxpy.bitvector.operation.BvSub class method) (arxpy.bitvector.operation.BvUdiv class method) (arxpy.bitvector.operation.BvUge class method) (arxpy.bitvector.operation.BvUgt class method) (arxpy.bitvector.operation.BvUle class method) (arxpy.bitvector.operation.BvUlt class method) (arxpy.bitvector.operation.BvUrem class method) (arxpy.bitvector.operation.BvXor class method) (arxpy.bitvector.operation.Concat class method) (arxpy.bitvector.operation.Extract class method) (arxpy.bitvector.operation.Ite class method) (arxpy.bitvector.operation.Operation class method) (arxpy.bitvector.operation.Repeat class method) (arxpy.bitvector.operation.RotateLeft class method) (arxpy.bitvector.operation.RotateRight class method) (arxpy.bitvector.operation.ZeroExtend class method) (arxpy.differential.derivative.Derivative method) (arxpy.differential.difference.RXInvOp class method) (arxpy.differential.difference.RXOp class method) (arxpy.primitives.chaskey.ChaskeyPi class method) (arxpy.primitives.hight.HightEncryption class method) (arxpy.primitives.hight.HightKeySchedule class method) (arxpy.primitives.lea.LeaEncryption class method) (arxpy.primitives.lea.LeaKeySchedule class method) (arxpy.primitives.primitives.BvFunction class method) (arxpy.primitives.shacal1.BvIf class method) (arxpy.primitives.shacal1.BvMaj class method) (arxpy.primitives.shacal1.Shacal1Encryption class method) (arxpy.primitives.shacal1.Shacal1KeySchedule class method) (arxpy.primitives.shacal2.Shacal2Encryption class method) (arxpy.primitives.shacal2.Shacal2KeySchedule class method) (arxpy.primitives.simon.SimonRF class method) (arxpy.primitives.tea.TeaEncryption class method) (arxpy.primitives.tea.TeaKeySchedule class method) (arxpy.primitives.xtea.XteaEncryption class method) (arxpy.primitives.xtea.XteaKeySchedule class method)

Evaluation (class in arxpy.bitvector.context) exact_weight() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method) ExactWeightError extend() (arxpy.smt.search_impossible.SearchID method) (arxpy.smt.search_impossible.SearchSkID method) Extract (class in arxpy.bitvector.operation)

F

fast_empirical_weight() (in module arxpy.smt.verification_differential) (in module arxpy.smt.verification_impossible) FirstCh (arxpy.smt.search_differential.ChSearchMode attribute) FirstChValid (arxpy.smt.search_differential.ChSearchMode attribute) FirstFixEncMinKey (arxpy.smt.search_differential.RkChSearchMode attribute) FirstFixEncMinKeyValid (arxpy.smt.search_differential.RkChSearchMode attribute) FirstID (arxpy.smt.search_impossible.SearchMode attribute) FirstMinSum (arxpy.smt.search_differential.RkChSearchMode attribute) FirstMinSumValid (arxpy.smt.search_differential.RkChSearchMode attribute) FirstValidKeyMinEnc (arxpy.smt.search_differential.RkChSearchMode attribute)

FirstValidKeyMinEncValid (arxpy.smt.search_differential.RkChSearchMode attribute) formula_size() (arxpy.bitvector.core.Constant property) (arxpy.bitvector.core.Term property) (arxpy.bitvector.core.Variable property) (arxpy.bitvector.operation.Operation property) (arxpy.smt.search_differential.SearchCh method) (arxpy.smt.search_differential.SearchRkCh method) from_pair() (arxpy.differential.difference.Difference class method) Full (arxpy.differential.characteristic.ChSignatureType attribute) func (arxpy.differential.characteristic.BvCharacteristic attribute)

G

generate_active_bvlists() (in module arxpy.smt.search_impossible) get_exact_weight() (arxpy.smt.search_differential.ChFound method) get_id() (arxpy.bitvector.context.MemoizationTable method)

get_pair_element() (arxpy.differential.difference.Difference method) get_Simon_instance() (in module arxpy.primitives.simon) get_Speck_instance() (in module arxpy.primitives.speck)

H

has_probability_one() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method)

hex() (arxpy.bitvector.core.Constant method) HightCipher (class in arxpy.primitives.hight) HightEncryption (class in arxpy.primitives.hight) HightKeySchedule (class in arxpy.primitives.hight) hrepr() (arxpy.smt.search_differential.SearchCh method) (arxpy.smt.search_differential.SearchRkCh method) (arxpy.smt.search_impossible.SearchID method) (arxpy.smt.search_impossible.SearchRkID method)

I

IDFound (class in arxpy.smt.search_impossible) infix_symbol (arxpy.bitvector.operation.Operation attribute) input_diff (arxpy.differential.characteristic.BvCharacteristic attribute) (arxpy.differential.derivative.Derivative attribute) (arxpy.smt.search_differential.ChFound attribute) (arxpy.smt.search_impossible.IDFound attribute) input_widths (arxpy.primitives.primitives.BvFunction attribute) InputOutput (arxpy.differential.characteristic.ChSignatureType attribute) inv_diff_op (arxpy.differential.difference.Difference attribute) (arxpy.differential.difference.RXDiff attribute) (arxpy.differential.difference.XorDiff attribute)

is_possible() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method) is_simple (arxpy.bitvector.operation.Operation attribute) is_symmetric (arxpy.bitvector.operation.Operation attribute) Ite (class in arxpy.bitvector.operation)

K

key_ch_found (arxpy.smt.search_differential.RkChFound attribute) key_id_found (arxpy.smt.search_impossible.RkIDFound attribute) key_schedule (arxpy.primitives.hight.HightCipher attribute) (arxpy.primitives.lea.LeaCipher attribute) (arxpy.primitives.primitives.Cipher attribute) (arxpy.primitives.shacal1.Shacal1Cipher attribute) (arxpy.primitives.shacal2.Shacal2Cipher attribute) (arxpy.primitives.tea.TeaCipher attribute) (arxpy.primitives.xtea.XteaCipher attribute)

key_schedule_ch (arxpy.differential.characteristic.RelatedKeyCh attribute) KeySchedule (class in arxpy.primitives.primitives) KeySetting (class in arxpy.smt.search_impossible)

L

LeaCipher (class in arxpy.primitives.lea) LeadingZeros (class in arxpy.bitvector.extraop)

LeaEncryption (class in arxpy.primitives.lea) LeaKeySchedule (class in arxpy.primitives.lea)

M

make_partial_operation() (in module arxpy.bitvector.extraop) max_weight() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method) Memoization (class in arxpy.bitvector.context) MemoizationTable (class in arxpy.bitvector.context) module arxpy arxpy.bitvector arxpy.bitvector.context arxpy.bitvector.core arxpy.bitvector.extraop arxpy.bitvector.operation arxpy.bitvector.printing arxpy.differential arxpy.differential.characteristic arxpy.differential.derivative arxpy.differential.difference arxpy.primitives arxpy.primitives.chaskey arxpy.primitives.hight arxpy.primitives.lea arxpy.primitives.primitives arxpy.primitives.shacal1 arxpy.primitives.shacal2 arxpy.primitives.simon arxpy.primitives.speck arxpy.primitives.tea arxpy.primitives.xtea arxpy.smt arxpy.smt.search_differential arxpy.smt.search_impossible arxpy.smt.types arxpy.smt.verification_differential arxpy.smt.verification_impossible

MSBbit (arxpy.smt.search_impossible.ActivationMode attribute)

N

name() (arxpy.bitvector.core.Variable property) nonlinear_diffs (arxpy.differential.characteristic.BvCharacteristic attribute) (arxpy.smt.search_differential.ChFound attribute) NotEvaluation (class in arxpy.bitvector.context) num_frac_bits() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method)

O

oct() (arxpy.bitvector.core.Constant method) op (arxpy.differential.derivative.Derivative attribute) (arxpy.differential.derivative.RXDA attribute) (arxpy.differential.derivative.XDA attribute) (arxpy.differential.derivative.XDS attribute) (arxpy.primitives.shacal1.XDIf attribute) (arxpy.primitives.shacal1.XDMaj attribute) (arxpy.primitives.simon.XDSimonRF attribute) operand_types (arxpy.bitvector.operation.Operation attribute) Operation (class in arxpy.bitvector.operation) Optimal (arxpy.smt.search_differential.ChSearchMode attribute) OptimalDifferential (arxpy.smt.search_differential.ChSearchMode attribute) OptimalFixEncMinKey (arxpy.smt.search_differential.RkChSearchMode attribute) OptimalFixEncMinKeyDifferential (arxpy.smt.search_differential.RkChSearchMode attribute) OptimalMinSum (arxpy.smt.search_differential.RkChSearchMode attribute) OptimalMinSumDifferential (arxpy.smt.search_differential.RkChSearchMode attribute) OptimalValidKeyMinEnc (arxpy.smt.search_differential.RkChSearchMode attribute) OptimalValidKeyMinEncDifferential (arxpy.smt.search_differential.RkChSearchMode attribute) output_diff (arxpy.differential.characteristic.BvCharacteristic attribute) (arxpy.smt.search_differential.ChFound attribute) (arxpy.smt.search_impossible.IDFound attribute) output_width() (arxpy.bitvector.extraop.LeadingZeros class method) (arxpy.bitvector.extraop.PopCount class method) (arxpy.bitvector.extraop.PopCountDiff class method) (arxpy.bitvector.extraop.PopCountSum2 class method) (arxpy.bitvector.extraop.PopCountSum3 class method) (arxpy.bitvector.extraop.Reverse class method) (arxpy.bitvector.operation.BvAdd class method) (arxpy.bitvector.operation.BvAnd class method) (arxpy.bitvector.operation.BvComp class method) (arxpy.bitvector.operation.BvLshr class method) (arxpy.bitvector.operation.BvMul class method) (arxpy.bitvector.operation.BvNeg class method) (arxpy.bitvector.operation.BvNot class method) (arxpy.bitvector.operation.BvOr class method) (arxpy.bitvector.operation.BvShl class method) (arxpy.bitvector.operation.BvSub class method) (arxpy.bitvector.operation.BvUdiv class method) (arxpy.bitvector.operation.BvUge class method) (arxpy.bitvector.operation.BvUgt class method) (arxpy.bitvector.operation.BvUle class method) (arxpy.bitvector.operation.BvUlt class method) (arxpy.bitvector.operation.BvUrem class method) (arxpy.bitvector.operation.BvXor class method) (arxpy.bitvector.operation.Concat class method) (arxpy.bitvector.operation.Extract class method) (arxpy.bitvector.operation.Ite class method) (arxpy.bitvector.operation.Operation method) (arxpy.bitvector.operation.Repeat class method) (arxpy.bitvector.operation.RotateLeft class method) (arxpy.bitvector.operation.RotateRight class method) (arxpy.bitvector.operation.ZeroExtend class method) (arxpy.differential.difference.RXInvOp class method) (arxpy.differential.difference.RXOp class method) (arxpy.primitives.shacal1.BvIf class method) (arxpy.primitives.shacal1.BvMaj class method) (arxpy.primitives.simon.SimonRF class method)

output_widths (arxpy.primitives.primitives.BvFunction attribute)

P

PartialOperation (class in arxpy.bitvector.extraop) pattern01() (in module arxpy.bitvector.extraop) PopCount (class in arxpy.bitvector.extraop) PopCountDiff (class in arxpy.bitvector.extraop)

PopCountSum2 (class in arxpy.bitvector.extraop) PopCountSum3 (class in arxpy.bitvector.extraop) ProbabilityOne (arxpy.smt.search_differential.DerMode attribute) pysmt2bv() (in module arxpy.smt.types) pysmt_model2bv_model() (in module arxpy.smt.types)

R

RelatedKeyCh (class in arxpy.differential.characteristic) relatedssa2ccode() (in module arxpy.smt.verification_differential) Repeat (class in arxpy.bitvector.operation) repeat_pattern() (in module arxpy.bitvector.extraop) replace_id() (arxpy.bitvector.context.MemoizationTable method) Reverse (class in arxpy.bitvector.extraop) rkch (arxpy.smt.search_differential.RkChFound attribute) (arxpy.smt.search_impossible.RkIDFound attribute) RkChFound (class in arxpy.smt.search_differential) RkChSearchMode (class in arxpy.smt.search_differential) RkIDFound (class in arxpy.smt.search_impossible)

RotateLeft (class in arxpy.bitvector.operation) RotateRight (class in arxpy.bitvector.operation) round_based_search_ID() (in module arxpy.smt.search_impossible) round_based_search_RkCh() (in module arxpy.smt.search_differential) round_based_search_RkID() (in module arxpy.smt.search_impossible) round_based_search_SkCh() (in module arxpy.smt.search_differential) round_keys (arxpy.primitives.primitives.Encryption attribute) rounds (arxpy.primitives.primitives.BvFunction attribute) RXDA (class in arxpy.differential.derivative) RXDiff (class in arxpy.differential.difference) RXInvOp (class in arxpy.differential.difference) RXOp (class in arxpy.differential.difference)

S

SearchCh (class in arxpy.smt.search_differential) SearchID (class in arxpy.smt.search_impossible) SearchMode (class in arxpy.smt.search_impossible) SearchRkCh (class in arxpy.smt.search_differential) SearchRkID (class in arxpy.smt.search_impossible) SearchSkCh (class in arxpy.smt.search_differential) SearchSkID (class in arxpy.smt.search_impossible) set_rounds() (arxpy.primitives.chaskey.ChaskeyPi class method) (arxpy.primitives.hight.HightCipher class method) (arxpy.primitives.hight.HightEncryption class method) (arxpy.primitives.hight.HightKeySchedule class method) (arxpy.primitives.lea.LeaCipher class method) (arxpy.primitives.lea.LeaEncryption class method) (arxpy.primitives.lea.LeaKeySchedule class method) (arxpy.primitives.primitives.BvFunction class method) (arxpy.primitives.primitives.Cipher class method) (arxpy.primitives.shacal1.Shacal1Cipher class method) (arxpy.primitives.shacal1.Shacal1Encryption class method) (arxpy.primitives.shacal1.Shacal1KeySchedule class method) (arxpy.primitives.shacal2.Shacal2Cipher class method) (arxpy.primitives.shacal2.Shacal2Encryption class method) (arxpy.primitives.shacal2.Shacal2KeySchedule class method) (arxpy.primitives.tea.TeaCipher class method) (arxpy.primitives.tea.TeaEncryption class method) (arxpy.primitives.tea.TeaKeySchedule class method) (arxpy.primitives.xtea.XteaCipher class method) (arxpy.primitives.xtea.XteaEncryption class method) (arxpy.primitives.xtea.XteaKeySchedule class method) Shacal1Cipher (class in arxpy.primitives.shacal1)

Shacal1Encryption (class in arxpy.primitives.shacal1) Shacal1KeySchedule (class in arxpy.primitives.shacal1) Shacal2Cipher (class in arxpy.primitives.shacal2) Shacal2Encryption (class in arxpy.primitives.shacal2) Shacal2KeySchedule (class in arxpy.primitives.shacal2) signature() (arxpy.differential.characteristic.BvCharacteristic method) (arxpy.differential.characteristic.RelatedKeyCh method) SimonInstance (class in arxpy.primitives.simon) SimonRF (class in arxpy.primitives.simon) Simplification (class in arxpy.bitvector.context) SingleBit (arxpy.smt.search_impossible.ActivationMode attribute) SingleKeyCh (class in arxpy.differential.characteristic) SkChFound (class in arxpy.smt.search_differential) SkChSearchMode (class in arxpy.smt.search_differential) SkIDFound (class in arxpy.smt.search_impossible) solve() (arxpy.smt.search_differential.SearchCh method) (arxpy.smt.search_differential.SearchRkCh method) (arxpy.smt.search_differential.SearchSkCh method) (arxpy.smt.search_impossible.SearchID method) (arxpy.smt.search_impossible.SearchRkID method) SpeckInstance (class in arxpy.primitives.speck) srepr() (arxpy.bitvector.core.Term method) (arxpy.smt.search_differential.ChFound method) (arxpy.smt.search_differential.RkChFound method) (arxpy.smt.search_impossible.IDFound method) (arxpy.smt.search_impossible.RkIDFound method) ssa() (arxpy.primitives.primitives.BvFunction class method) ssa2ccode() (in module arxpy.smt.verification_differential) StatefulContext (class in arxpy.bitvector.context)

T

TeaCipher (class in arxpy.primitives.tea) TeaEncryption (class in arxpy.primitives.tea) TeaKeySchedule (class in arxpy.primitives.tea) Term (class in arxpy.bitvector.core)

test() (arxpy.primitives.hight.HightCipher class method) (arxpy.primitives.tea.TeaCipher class method) (arxpy.primitives.xtea.XteaCipher class method) TopDifferentials (arxpy.smt.search_differential.ChSearchMode attribute)

U

unary_symbol (arxpy.bitvector.operation.Operation attribute)

V

val (arxpy.differential.difference.Difference attribute) val() (arxpy.bitvector.core.Constant property) Valid (arxpy.smt.search_differential.DerMode attribute) Validation (class in arxpy.bitvector.context) Variable (class in arxpy.bitvector.core)

vrepr() (arxpy.bitvector.core.Term method) (arxpy.differential.difference.Difference method) (arxpy.smt.search_differential.ChFound method) (arxpy.smt.search_differential.RkChFound method) (arxpy.smt.search_impossible.IDFound method) (arxpy.smt.search_impossible.RkIDFound method)

W

weight() (arxpy.differential.derivative.Derivative method) (arxpy.differential.derivative.RXDA method) (arxpy.differential.derivative.XDA method) (arxpy.differential.derivative.XDCA method) (arxpy.primitives.shacal1.XDIf method) (arxpy.primitives.shacal1.XDMaj method) (arxpy.primitives.simon.XDSimonRF method)

width() (arxpy.bitvector.core.Term property)

X

XDA (class in arxpy.differential.derivative) XDCA (class in arxpy.differential.derivative) XDCA_Approx (arxpy.smt.search_differential.DerMode attribute) XDIf (class in arxpy.primitives.shacal1) XDMaj (class in arxpy.primitives.shacal1) XDS (class in arxpy.differential.derivative)

XDSimonRF (class in arxpy.primitives.simon) XorDiff (class in arxpy.differential.difference) xreplace() (arxpy.differential.difference.Difference method) XteaCipher (class in arxpy.primitives.xtea) XteaEncryption (class in arxpy.primitives.xtea) XteaKeySchedule (class in arxpy.primitives.xtea)

Z

Zero (arxpy.smt.search_impossible.ActivationMode attribute)

ZeroExtend (class in arxpy.bitvector.operation)