A First-Order SCA Resistant AES without Fresh Randomness.

Felix Wegener Amir Moradi

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

Keyphrases

first order logic
higher order
real time
databases
horn clauses
random number
secret key
stochastic dominance
expert systems
fault model
linear temporal logic
encryption algorithms