Sign in
Guards in action: First-order SCA secure implementations of KETJE without additional randomness.
Victor Arribas
Svetla Nikova
Vincent Rijmen
Published in:
Microprocess. Microsystems (2019)
Keyphrases
</>
higher order
lightweight
information systems
first order logic
action theories
image sequences
data model
access control
security issues
horn clauses
key management