Hybrid Concrete focused on the development of buildings, highways, and other structures of civil engineering. In the current study, various mix combinations have been prepared and tested with different percentages of super-plasticizer at different levels of water reduction for obtaining the optimum mix. Further, study on different properties of hybrid concrete and replacement of ordinary portla...

Grout is a binding agent or binder often used with building materials to improve their durability functions. It may be organic or inorganic material used for sealing or consolidation of cracks, pores, or voids in order to improve the mechanical properties and impermeability of a particular system, whether soil, cementitious or of other building materials. Grouts act as dispersion agents where d...

In the cryptographic system a pseudorandom number generator is one of the basic primitives. We survey theoretically secure pseudorandom bit generators which are provably secure under certain reasonable number theoretic assumptions and some practical pseudorandom number generators based on assumptions about symmetric crypto-primitives. Recently, there was a noticeable result for the concrete sec...

The U.S. Forest Service has a long history of providing termiticide efficacy data used for product registration and labeling. Four primary test sites (Arizona and Florida, Mississippi, and South Carolina [hereafter southeast]) have been used for this purpose. Various parameters of termite attack at water-only control plots were examined in this study to assess the relative pressures of termites...

Broadcast encryption with dealership (BED) has been proposed to achieve more innovative and scalable business models for broadcast services. It has an extensive application future. However, designing secure BED is a challenging task. The only known BED construction so far is by Gritti et al. We aim to raise the profile of BED primitives which has not received much attention despite of its impor...

I assume that you have some preknowledge in probability theory, but let us recapitulate the small subset of it which we will need for our purposes. We will employ very concrete probability theory (as opposed to abstract probability theory); we simply use it as a tool. When writing this I borrowed much from Chapter 8 in the book Concrete Mathematics, A Foundation for Computer Science by Ronald L...

We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [5]. The cipher relies on the iteration of a multivariate system of quadratic equations over a finite field, typically GF(2) or a small extension. In the binary case, the security of the keystream generation can be related, in the concrete security model, to the conjecture...

This document describes the part of the Advanced Cryptographic Engine (ACE ) pertaining to public key encryption. It specifies a public key encryption scheme with enough detail to ensure interoperability between different implementations. This scheme is almost as efficient as commercially used schemes, yet unlike such schemes, can be proven secure under reasonable and well-defined intractabilit...

Using EasyCrypt, we formalize a new modular security proof for one-round authenticated key exchange protocols in the random oracle model. Our proof improves earlier work by Kudla and Paterson (ASIACRYPT 2005) in three significant ways: we consider a stronger adversary model, we provide support tailored to protocols that utilize the Naxos trick, and we support proofs under the Computational DH a...

Alkali Silica Reaction (ASR) is known to be a serious problem for concrete worldwide, especially in high humidity and high temperature regions. ASR is a slow process that develops over years to decades and it is influenced by changes in environmental and loading conditions of the structure. The problem becomes even more complicated if one recognizes that other phenomena like creep and shrinkage...