Sciweavers

3328 search results - page 149 / 666
» On Plateaued Functions and Their Constructions
Sort
View
AUTOMATICA
2008
93views more  AUTOMATICA 2008»
15 years 6 months ago
Further results on input-to-state stability for nonlinear systems with delayed feedbacks
We consider a class of nonlinear control systems for which stabilizing feedbacks and corresponding Lyapunov functions for the closed loop systems are available. In the presence of...
Frédéric Mazenc, Michael Malisoff, Z...
IACR
2011
122views more  IACR 2011»
14 years 6 months ago
On Authenticated Encryption Using Stream Ciphers Supporting an Initialisation Vector
We describe a systematic framework for using a stream cipher supporting an initialisation vector (IV) to perform various tasks of authentication and authenticated encryption. These...
Palash Sarkar
VMCAI
2007
Springer
16 years 18 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans
WSCG
2000
84views more  WSCG 2000»
15 years 7 months ago
New Theory of Pattern Recognition on the Basis of Stochastic Geometry
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...
Nikolay G. Fedotov, Luydmila A. Shulga
ICC
2009
IEEE
155views Communications» more  ICC 2009»
15 years 4 months ago
On Hashing with Tweakable Ciphers
Cryptographic hash functions are often built on block ciphers in order to reduce the security of the hash to that of the cipher, and to minimize the hardware size. Proven secure co...
Raphael Chung-Wei Phan, Jean-Philippe Aumasson