Waters’ variant of the Boneh-Boyen IBE scheme is attractive because of its efficency, applications, and security attributes, but suffers from a relatively complex proof with poor concrete security. This is due in part to the proof’s “artificial abort” step, which has then been inherited by numerous derivative works. It has often been asked whether this step is necessary. We show that it is not,...

We consider applications, illustration and concrete numerical treatments of some homogenization results on Stokes flow in porous media. In particular, we compute the global permeability tensor corresponding to an unidirectional array of circular fibers for several volume-fractions. A 3-dimensional problem is also considered.

Regarding the importance of the prevention of hazards and adverse environmental impacts in industrial and populated areas such as southern parts of Tehran city, the response of impulsive period ground-supported tanks were assessed. Having considered the study area's soil properties, the response of ground-supported tanks was modelled. Regarding the soil properties of southern parts of Tehran, t...

Finite element method and fiber model were used to calculate the load-carrying capacity of specimens. Based on experimental theoretical analysis, simplified calculation for this kind member is proposed. It indicates that finite result relatively small, accords well with result. Circular reinforced concrete members covered steel tube presents both characteristics filled member, showing higher gr...

In order to minimize odor and manage nutrients in liquid pig manure we need to be able to predict what operational practices most influence the concentrations of volatile fatty acids (VFAs), ammonium nitrogen (NH(4)(+)-N), and other nutrients present in the manure. To determine this, we collected manure from 15 pig operations in southwestern Ontario in the fall of 2001 and 2002 and spring of 20...

In order to solve the supporting problem in underground engineering with high stress, square steel confined concrete (SQCC) supporting method is adopted to enhance the control on surrounding rocks, and the control effect is remarkable. The commonly used cross section shapes of confined concrete arch are square and circular. At present, designers have no consensus on which kind is more proper. T...

In this note, we describe an error in the proof for CLRW2 given by Landecker et al. in their paper at CRYPTO 2012 on the beyond-birthday-bound security for tweakable block ciphers. We are able to resolve the issue, give a new bound for the security of CLRW2, and identify a potential limitation of this proof technique when looking to extend the scheme to provide asymptotic security.