Sciweavers

3328 search results - page 34 / 666
» On Plateaued Functions and Their Constructions
Sort
View
GMP
2010
IEEE
190views Solid Modeling» more  GMP 2010»
14 years 6 days ago
Construction of Subdivision Surfaces by Fourth-Order Geometric Flows with G1 Boundary Conditions
In this paper, we present a method for constructing Loop’s subdivision surface patches with given G1 boundary conditions and a given topology of control polygon of the subdivisi...
Guoliang Xu, Qing Pan
CEC
2010
IEEE
13 years 9 months ago
Simulated Annealing for constructing binary covering arrays of variable strength
— This paper presents new upper bounds for binary covering arrays of variable strength constructed by using a new Simulated Annealing (SA) algorithm. This algorithm incorporates ...
Jose Torres-Jimenez, Eduardo Rodriguez-Tello
CORR
2008
Springer
75views Education» more  CORR 2008»
13 years 9 months ago
Inductive and Coinductive Components of Corecursive Functions in Coq
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
Yves Bertot, Ekaterina Komendantskaya
FSE
2005
Springer
117views Cryptology» more  FSE 2005»
14 years 2 months ago
Security Analysis of a 2/3-Rate Double Length Compression Function in the Black-Box Model
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...
Mridul Nandi, Wonil Lee, Kouichi Sakurai, Sangjin ...
CRYPTO
2006
Springer
88views Cryptology» more  CRYPTO 2006»
14 years 16 days ago
On the Impossibility of Efficiently Combining Collision Resistant Hash Functions
Let H1, H2 be two hash functions. We wish to construct a new hash function H that is collision resistant if at least one of H1 or H2 is collision resistant. Concatenating the outpu...
Dan Boneh, Xavier Boyen