Guarding the First Order: The Rise of AES Maskings.

Amund Askeland Siemen Dhooghe Svetla Nikova Vincent Rijmen Zhenda Zhang

Published in: CARDIS (2022)

Keyphrases

higher order
first order logic
quantifier elimination
real time
databases
conditional logic
stochastic dominance
advanced encryption standard
data sets
s box
encryption algorithm
block cipher
term rewriting
inductive logic programming systems