We prove that a type-definable Lascar strong type has finite diameter. We answer also some other questions from [1] on Lascar strong types. We give some applications on subgroups of type-definable groups. In this paper T is a complete theory in language L and we work within a monster model C of T . For a0, a1 ∈ C let a0Θa1 iff 〈a0, a1〉 extends to an indiscernible sequence 〈an, n < ω〉. We define...

Authenticated Key Exchange protocols enable several parties to establish a shared cryptographically strong key over an insecure network using various authentication means, such as strong cryptographic keys or short (i.e., low-entropy) common secrets. The latter example is definitely the most interesting in practice, since no additional device is required, but just a human-memorable password, fo...

Water is unique in its role as a life preserver. It is important to all members of a society. However, if one is looking for quality data in India to make data-driven decisions, one is lost. This is surprising given that there is a rich history of data collection in the country and looks forward to adopting real-time water sensing in a big way. In this paper, we first explore issues around data...

5 We give an optimal degree condition for a tripartite graph to have 6 a spanning subgraph consisting of complete graphs of order 3. This 7 result is used to give an upper bound of 2∆ for the strong chromatic 8 number of n vertex graphs with ∆ ≥ n/6. 9

The paper addresses the cheating prevention in secret sharing. We consider secret sharing with binary shares. The secret also is binary. This model allows us to use results and constructions from the well developed theory of cryptographically strong boolean functions. In particular, we prove that for given secret sharing, the average cheating probability over all cheating vectors and all origin...

The two important qualities of a cipher is security and speed. Frequently, to satisfy the security of a Boolean function primitive, speed may be traded-off. In this paper we present a general construction that addresses both qualities. The idea of our construction is to manipulate a cryptographically strong base function and one of its affine equivalent functions, using concatenation and negati...

Thermodynamic effects play an important role in the cavitation dynamics of cryogenics fluids. Such flows are characterized by strong variations in fluid properties with the temperature. A compressible, multiphase, one-fluid solver was developed to study and to predict thermodynamic effects in cavitating flows. To close the system, a cavitation model is proposed to capture metastable behaviours ...