In this paper we investigate univariate algebraic attacks on filter generators over extension fields Fq = F2n with focus on the WelchGong (WG) family of stream ciphers. Our main contribution is to break WG-5, WG-7, WG-8 and WG-16 by combining results on the so-called spectral immunity (minimum distance of certain cyclic codes) with properties of the WG type stream cipher construction. The spect...

to the user's queries should be time and space efficient. In this paper, we consider the special requirements of indexing to determine the performance of different techniques in data stream processing environments. Stream indexing has main differences with approaches in traditional databases. Also, we compare data stream indexing models analytically that can provide a suitable method for stream...

The aim of this short paper is to explore a new connection between a conjecture concerning sharp boundary observability estimates for the 1-D heat equation in small time and a conjecture concerning the cost of null-controllability for a 1-D convection-diffusion equation with constant coefficients controlled on the boundary in the vanishing viscosity limit, in the spirit of what is done in [Pier...

Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equations produces the intended stream in the limit. In this paper we show that productivity is equivalent to termination with respect to the balanced outermost strategy of a TRS obtained by adding an additional rule. For...

The Hazard Analysis and Critical Control Point (HACCP) approach is widely used to develop food safety procedures in restaurants and other food related businesses. IoT devices could be deployed in this context to automate monitoring of critical control points (such as the maximum storage temperature of raw meat). However, such sensor infrastructures will result in the generation of significant a...

In this paper, we propose a two-stream approach for adaptive rate control in multimedia applications. By monitoring a low-rate monitoring stream, we keep track of the available bandwidth (AB) of the network path and dynamically adjust the sending rate of the traffic stream close to the optimal rate. We also assure the higher priority of the monitoring stream in that the traffic stream is not al...