Manipulate difference properties, differential characteristics, differential models of bit-vector operations, and differential characteristic models (in the context of differential cryptanalysis).