3819 search results - page 252 / 764 » Simple Easy Terms |
204
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
172
click to vote
LPNMR
2005
Springer
16 years 22 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
175
click to vote
CAV
2004
Springer
16 years 19 days ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
189
click to vote
CCS
2004
ACM
16 years 19 days ago
2004
ACM
We study a countermeasure proposed to protect Chinese remainder theorem (CRT) computations for RSA against fault attacks. The scheme was claimed to be provably secure. However, we...
179
click to vote
GECCO
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. A model of coevolutioinary genetic algorithms (COGA) consisting of two populations coevolving on two-bit landscapes is investigated in terms of the effects of random par...