Origami/ Publications/ Improving scalability and reusability of differential cryptanalysis models using constraint programming/ Improving scalability and reusability of differential cryptanalysis models using constraint programming