New Techniques for Modeling SBoxes: An MILP Approach. - Debranjan Pal; Vishal Pankaj Chandratreya; Dipanwita Roy Chowdhury (CANS, 2023)

Efficient Algorithms for Modeling SBoxes Using MILP. - Debranjan Pal; Vishal Pankaj Chandratreya; Dipanwita Roy Chowdhury (CoRR, 2023)

Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations. - Debranjan Pal; Vishal Pankaj Chandratreya; Abhijit Das 004; Dipanwita Roy Chowdhury (CoRR, 2024)