First-Order Masking with Only Two Random Bits.

Hannes Groß Ko Stoffelen Lauren De Meyer Martin Krenn Stefan Mangard

Published in: TIS@CCS (2019)

Keyphrases

random number
pseudo random number generators
higher order
first order logic
neural network
human visual system
stochastic dominance
information systems
natural images
randomly generated
uniformly distributed
horn clauses
quantifier elimination