A Methodology for the Characterisation of Leakages in Combinatorial Logic.

Guido Bertoni Marco Martinoli

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

modal logic
logic programming
logical framework
classical logic
automated reasoning
predicate logic
multiscale
expert systems
conceptual model
multi valued
defeasible logic
delay insensitive