Efficient and Optimized Modeling of S-Boxes. - Anirudh Aitipamula; Debranjan Pal; Dipanwita Roy Chowdhury (AFRICACRYPT, 2025)