Yap, Trevor, et al. “Peek into the Black-Box: Interpretable Neural Network Using SAT Equations in Side-Channel Analysis”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2023, no. 2, Mar. 2023, pp. 24-53, doi:10.46586/tches.v2023.i2.24-53.