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