TY - RPRT TI - Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations AU - Debranjan Pal AU - Vishal Pankaj Chandratreya AU - Abhijit Das AU - Dipanwita Roy Chowdhury PY - 2024 UR - https://arxiv.org/abs/2405.00441 ID - 2405.00441 ER -