406 search results - page 37 / 82 » Pseudorandomness and Combinatorial Constructions |
103
click to vote
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
166
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...
154
click to vote
CRYPTO
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we show that any two-party functionality can be securely computed in a constant number of rounds, where security is obtained against malicious adversaries that may ar...
159
click to vote
AAECC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
123
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. This paper presents a novel robust digital image watermarking scheme using subsampling and nonnegative matrix factorization. Firstly, subsampling is used to construct a s...