3996 search results - page 199 / 800 » A Publish |
278
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
176
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a linear time and space suffix array (SA) construction algorithm called the SA-IS algorithm. The SA-IS algorithm is novel because of the LMS-substrings used for the pro...
185
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Efficiently computable homomorphisms allow elliptic curve point multiplication to be accelerated using the Gallant-Lambert-Vanstone (GLV) method. Iijima, Matsuo, Chao and...
185
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...
194
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Privacy is an increasingly important aspect of data publishing. Reasoning about privacy, however, is fraught with pitfalls. One of the most significant is the auxiliary informatio...