Yap, T.; Benamira, A.; Bhasin, S.; Peyrin, T. Peek into the Black-Box: Interpretable Neural Network Using SAT Equations in Side-Channel Analysis. TCHES 2023, 2023, 24-53.