1173 search results - page 12 / 235 » On the Compositionality of Round Abstraction |
ADAEUROPE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Although Ada defines a number of mechanisms for specifying scheduling policies, only one, Fifo Within Priorities is guaranteed to be supported by all implementations of ...
CISC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper reports on the improved and multiple linear cryptanalysis of reduced round Serpent by mean of a branch-and-bound characteristic search within the algorithm. We...
FSE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. JH, designed by Wu, is one of the 14 second round candidates in the NIST Hash Competition. This paper presents the first analysis results of JH by using rebound attack. ...
CRYPTO
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
ICISC
2008
2008
A New Technique for Multidimensional Linear Cryptanalysis with Applications on Reduced Round Serpent
13 years 11 months ago
Abstract. In this paper, we present a new technique for Matsui's algorithm 2 using multidimensional linear approximation. We show that the data complexity of the attack can be...