“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): 24-53. https://doi.org/10.46586/tches.v2023.i2.24-53.