10602 search results - page 414 / 2121 » Weakly Useful Sequences |
186
click to vote
SACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present several weaknesses in the key scheduling algorithm of RC4 when the secret key contains an initialization vector – a cryptographic scheme typically used by th...
226
click to vote
CRYPTO
2005
Springer
16 years 1 months ago
2005
Springer
Since bit and string oblivious transfer and commitment, two primitives of paramount importance in secure two- and multi-party computation, cannot be realized in an unconditionally ...
213
click to vote
PKC
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we present the cryptanalysis of a public key scheme based on a system of multivariate polynomial equations, the ”tractable rational map” cryptosystem. We show co...
184
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
142
click to vote
GECCO
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Choosing representations and operators that preserve locality between genotype and phenotype space is an important goal in EA design. In the GA literature there has been ...