Origami/ Publications/ abstractXOR: A global constraint dedicated to differential cryptanalysis/ abstractXOR: A global constraint dedicated to differential cryptanalysis