Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
We propose a new countermeasure to protect block ciphers implemented in leaking devices, at the intersection between One-Time Programs and Boolean masking schemes. First, we show t...
An analogue for composite moduli m ≥ 2 of the Wilson quotient is studied. Various congruences are derived, and the question of when these quotients are divisible by m is investig...