Guards in Action: First-Order SCA Secure Implementations of Ketje Without Additional Randomness.

Victor Arribas Svetla Nikova Vincent Rijmen

Published in: DSD (2018)

Keyphrases

higher order
action theories
first order logic
security issues
computer vision
lightweight
covert channel