This project focuses on using Discrete Optimization for cryptanalysis purposes. In particular, we are looking at using side-channel information to break AES. This problem was approached before with Integer Programming. CP can prove extremely versatile when equipped with suitable domains such as bit-vectors.
