Peek into the Black-Box: Interpretable Neural Network using SAT Equations in Side-Channel Analysis.
Trevor YapAdrien BenamiraShivam BhasinThomas PeyrinPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- black box
- neural network
- black boxes
- white box
- artificial neural networks
- back propagation
- rule extraction
- sat problem
- satisfiability problem
- sat solvers
- state transition
- hybrid systems
- test cases
- fuzzy logic
- integration testing
- white box testing
- phase transition
- neural network model
- feedforward neural networks
- search strategies
- mathematical model
- open source
- search algorithm