“Peek into the Black-Box: Interpretable Neural Network using SAT Equations in Side-Channel Analysis” (2023) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023(2), pp. 24–53. doi:10.46586/tches.v2023.i2.24-53.