Sciweavers

1557 search results - page 3 / 312
» Programming up to Congruence
Sort
View
SAS
2005
Springer
15 years 4 months ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
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...
Markus Müller-Olm, Helmut Seidl
BIRTHDAY
2012
Springer
13 years 6 months ago
Masking with Randomized Look Up Tables - Towards Preventing Side-Channel Attacks of All Orders
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...
François-Xavier Standaert, Christophe Petit...
37
Voted
MOC
1998
65views more  MOC 1998»
14 years 10 months ago
Wilson quotients for composite moduli
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...
Takashi Agoh, Karl Dilcher, Ladislav Skula