David Gérault, Marine Minier, Christine Solnon: Constraint Programming Models for Chosen Key Differential Cryptanalysis. CP 2016: 584-601