TSC-4 is a T-function based stream cipher with 80-bit key, and proposed as a candidate for ECRYPT eStream project. In this paper, we introduce a differential method to analyze TSC-4. Our attack is based on the vulnerable differential characteristics in the state initialization of TSC-4, and for the chosen IV pairs, the differential probability is up to 2−15.40 in the case of weak keys. We show ...

We present a fully abstract, denotational model for mobile, timed, nondeterministic dataow networks whose components communicate in a point-to-point fashion. In this model components and networks of components are represented by sets of stream processing functions. Each stream processing function is required to be strongly guarded, generic and point-to-point. A stream processing function is str...

The datastream model of computation has proven a valuable tool in developing algorithms for processing large amounts of data in small space. This survey examines an extension of this model that deals with uncertain data, called the probabilistic stream model. As in the standard setting, we are presented with a stream of items, with no random access to the data. However, each item is represented...

A queueing system with two arrival streams is considered in this paper. A number of schemes assigning different priorities to each of the two arrival streams have been modeled. One of the streams (stream 1) is considered to require a higher priority to access the server than the other (stream 2). On the other hand, stream 1 has stringent constraints with regard to the waiting time, and thus it ...

One approach to formally specifying a system is to use a form of extended finite-state machine called a stream X-machine. A stream X-machine is a type of X-machine that describes a system as a finite set of states, each with an internal store, called memory, and a number of transitions between the states. A stream X-machine may be modelled by a finite automaton (the associated finite automaton)...

The dorsal visual processing stream has been suggested to be involved with the unconscious processing of visual information for visually guided actions. In this study, transcranial magnetic stimulation (TMS) was used to gate input into the dorsal visual processing stream by disrupting primary visual cortex (V1) function. Despite restricting geniculostriate processing contributions in the dorsal...

the square map is one of the functions used in cryptography. for instance, the square map is used in rabin encryption scheme, block cipher rc6 and stream cipher rabbit, in different forms. in this paper, we study statistical properties of the output of the square map as a vectorial boolean function. we obtain the joint probability distribution of arbitrary number of the upper and the lower bits...

1. Due to the hierarchical organization of stream networks, land use changes occurring at larger spatial scales (i.e. the catchment) can affect physical, chemical and biological characteristics at lower spatial scales, ultimately altering stream structure and function. Anthropogenic effects on streams have primarily been documented using structural metrics such as water chemistry, channel alter...

We present a fully abstract denotational model for mobile timed nondetermin istic data ow networks whose components communicate in a many to many fash ion In this model components and networks of components are represented by sets of stream processing functions Each stream processing function is required to be strongly guarded and generic A stream processing function is strongly guarded if it i...

In this paper, we examine the effect of varying the stream weights in synchronous multi-stream hidden Markov models (HMMs) for audio-visual speech recognition. Rather than considering the stream weights to be the same for training and testing, we examine the effect of different stream weights for each task on the final speech-recognition performance. Evaluating our system under varying levels o...