814 search results - page 3 / 163 » Analysis of Modular Arithmetic |
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
The performance of RSA hardware is primarily determined by an efficient implementation of the long integer modular arithmetic and the ability to utilize the Chinese Remainder The...
DAC
2000
ACM
14 years 6 months ago
2000
ACM
CAV
2007
Springer
13 years 11 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
ICCD
2004
IEEE
14 years 2 months ago
2004
IEEE
In this paper, an efficient Montgomery multiplier is introduced for the modular exponentiation operation, which is fundamental to numerous public-key cryptosystems. Four aspects a...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...