Dynamic Provable Data Possession Protocols with Public Verifiability and Data Privacy

Cloud storage services have become accessible and used by everyone. Nevertheless, stored data are dependable on the behavior of the cloud servers, and losses and damages often occur. One solution is to regularly audit the cloud servers in order to check the integrity of the stored data. The Dynamic Provable Data Possession scheme with Public Verifiability and Data Privacy presented in ACISP'15 is a straightforward design of such solution. However, this scheme is threatened by several attacks. In this paper, we carefully recall the definition of this scheme as well as explain how its security is dramatically menaced. Moreover, we proposed two new constructions for Dynamic Provable Data Possession scheme with Public Verifiability and Data Privacy based on the scheme presented in ACISP'15, one using Index Hash Tables and one based on Merkle Hash Trees. We show that the two schemes are secure and privacy-preserving in the random oracle model.Comment: ISPEC 201

An algorithm to design finite field multipliers using a self-dual normal basis

Finite field multiplication is central in the implementation of some error-correcting coders. Massey and Omura have presented a revolutionary design for multiplication in a finite field. In their design, a normal base is utilized to represent the elements of the field. The concept of using a self-dual normal basis to design the Massey-Omura finite field multiplier is presented. Presented first is an algorithm to locate a self-dual normal basis for GF(2 sup m) for odd m. Then a method to construct the product function for designing the Massey-Omura multiplier is developed. It is shown that the construction of the product function base on a self-dual basis is simpler than that based on an arbitrary normal base

A generalized algorithm to design finite field normal basis multipliers

Finite field arithmetic logic is central in the implementation of some error-correcting coders and some cryptographic devices. There is a need for good multiplication algorithms which can be easily realized. Massey and Omura recently developed a new multiplication algorithm for finite fields based on a normal basis representation. Using the normal basis representation, the design of the finite field multiplier is simple and regular. The fundamental design of the Massey-Omura multiplier is based on a design of a product function. In this article, a generalized algorithm to locate a normal basis in a field is first presented. Using this normal basis, an algorithm to construct the product function is then developed. This design does not depend on particular characteristics of the generator polynomial of the field

Shock Waves and Noise in the Collapse of a Cloud of Cavitation Bubbles

Calculations of the collapse dynamics of a cloud of cavitation bubbles confirm the speculations of Morch and his co-workers and demonstrate that collapse occurs as a result of the inward propagation of a shock wave which grows rapidly in magnitude. Results are presented showing the evolving dynamics of the cloud and the resulting far-field acoustic noise

The Noise Generated by the Collapse of a Cloud of Cavitation Bubbles

The focus of this paper is the numerical simulation of the dynamics and acoustics of a cloud of cavitating bubbles. The prototypical problem solved considers a finite cloud of nuclei that is exposed to a decrease in the ambient pressure which causes the cloud to cavitate. A subsequent pressure recovery then causes the cloud to collapse. This is typical of the perturbation experienced by a bubble cloud as it passes a headform or the blade of a ship propeller. The simulations employ the fully non-linear, non-barotropic, homogeneous flow equations coupled with the Rayleigh-Plesset dynamics for individual bubbles. This set of equations is solved numerically by an integral method. The computational results confirm the early speculation of Morch and his co-workers (Morch 1980 & 1981, Hanson et al. 1981) that an inwardly propagating shock wave may be formed in the collapse of a cavitating cloud. The structure of the shock is found to be similar to that of the steady planar shocks analyzed by Noordij and van Wijngaarden (1974). The shock wave grows rapidly not only because of the geometric effect of an inwardly propagating spherical shock but also because of the coupling of the single bubble dynamics with the global dynamics of the flow through the pressure and velocity fields (see also Wang and Brennen 1994). The specific circumstances which lead to the formation of such a shock are explored. Moreover, the calculations demonstrate that the acoustic impulse produced by the cloud is significantly enhanced by this shock-focusing process. Major parameters which affect the dynamics and acoustics of the cloud are found to be the cavitation number, [sigma], the initial void fraction, [alpha-zero], the minimum pressure coefficient of the flow, [C Pmin], the natural frequencies of the cloud, and the ratio of the length scale of low pressure perturbation to the initial radius of the cloud, [D/A-zero], where D can be, for example, the radius of the headform or chord length of the propeller blade. We examine how some of these parameters affect the far field acoustic noise produced by the volumetric acceleration of the cloud. The non-dimensional far-field acoustic impulse produced by the cloud collapse is shown to depend, primarily, on the maximum total volume of the bubbles in the cloud normalized by the length scale of the low pressure perturbation. Also, this maximum total volume decreases quasi-linearly with the increase of the cavitation number. However, the slope of the dependence, in turn, changes with the initial void fraction and other parameters. Non-dimensional power density spectra for the far-field noise are presented and exhibit the [equation] behavior, where n is between 0.5 and 2. After several collapse cycles, the cloud begins to oscillate at its natural frequency and contributes harmonic peaks in its spectrum

Substitution Delone Sets

This paper addresses the problem of describing aperiodic discrete structures that have a self-similar or self-affine structure. Substitution Delone set families are families of Delone sets (X_1, ..., X_n) in R^d that satisfy an inflation functional equation under the action of an expanding integer matrix in R^d. This paper studies such functional equation in which each X_i is a discrete multiset (a set whose elements are counted with a finite multiplicity). It gives necessary conditions on the coefficients of the functional equation for discrete solutions to exist. It treats the case where the equation has Delone set solutions. Finally, it gives a large set of examples showing limits to the results obtained.Comment: 34 pages, latex file; some results in Sect 5 rearranged and theorems reformulate