A Methodology for the Characterisation of Leakages in Combinatorial Logic.

Guido Bertoni Marco Martinoli Maria Chiara Molteni

Published in: J. Hardw. Syst. Secur. (2017)

Keyphrases

classical logic
real time
neural network
machine learning
artificial intelligence
computer vision
expert systems
evolutionary algorithm
logic programming
statistical methods
modal logic
multi valued
predicate logic
truth values
sound and complete axiomatization