The MILP-aided conditional differential attack and its application to Trivium. - Chen-Dong Ye; Tian Tian 004; Fan-Yang Zeng (Des. Codes Cryptogr., 2021)