Peek into the Black-Box: Interpretable Neural Network using SAT Equations in Side-Channel Analysis. TCHES. 2023;2023(2):24-53. doi:10.46586/tches.v2023.i2.24-53