Peek into the Black-Box: Interpretable Neural Network using SAT Equations in Side-Channel Analysis.
Trevor YapAdrien BenamiraShivam BhasinThomas PeyrinPublished in: IACR Trans. Cryptogr. Hardw. Embed. Syst. (2023)
Keyphrases
- black box
- neural network
- white box
- black boxes
- artificial neural networks
- sat solvers
- search algorithm
- fuzzy logic
- back propagation
- test cases
- neural network model
- white box testing
- satisfiability problem
- rule extraction
- hybrid systems
- cerebellar model articulation controller
- data sets
- recurrent neural networks
- state transition
- mathematical model
- decision trees
- phase transition
- training process
- propositional satisfiability
- object oriented