T. Yap, A. Benamira, S. Bhasin, and T. Peyrin, “Peek into the Black-Box: Interpretable Neural Network using SAT Equations in Side-Channel Analysis”, TCHES, vol. 2023, no. 2, pp. 24–53, Mar. 2023.