Extending the applicability of the mixed-integer programming technique in automatic differential cryptanalysis

From MaRDI portal