Fast MILP Modelings for Sboxes. - Hao Tan; Dong Xu Miao; Bin Shen; Wenzheng Zhang (CSSE, 2021)