Yap, Trevor, Adrien Benamira, Shivam Bhasin, and Thomas Peyrin. “Peek into the Black-Box: Interpretable Neural Network Using SAT Equations in Side-Channel Analysis”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2023, no. 2 (March 6, 2023): 24–53. Accessed January 15, 2025. https://tosc.iacr.org/index.php/TCHES/article/view/10276.