Yap, T., Benamira, A., Bhasin, S. and Peyrin, T. 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.