We perform a concrete security treatment of digital signature schemes obtained from canonical identification schemes via the Fiat-Shamir transform. If the identification scheme is random selfreducible and satisfies the weakest possible security notion (key-recoverability), then the signature scheme obtained via Fiat-Shamir is unforgeable against chosen-message attacks in the multi-user setting....

The Pickett effect is the phenomenon of creep enhancement during transient drying. It has been observed for many nanoporous solids, including concrete, wood and Kevlar. While the existing micromechanical models can partially explain this effect, they have yet to consider nanoscale dynamic effects of water in nanopores, which are believed to be of paramount importance. Here, we examine how creep...

We consider basic notions of security for cryptographic hash functions: collision resistance,preimage resistance, and second-preimage resistance. We give seven different definitions thatcorrespond to these three underlying ideas, and then we work out all of the implications andseparations among these seven definitions within the concrete-security, provable-security frame-wor...

Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaired. Continuing previous work we present first steps to automate this repairing process, especially for protocols that are susceptible to type-flaw attacks. To this end, we extend the notion of strand spaces by introduc...

In this study, the benefits of limestone powder (LP) and marble powder (MP) as partial replacement of Portland cement are established. Furthermore, LP and MP are used directly without attempting any additional processing in the production of selfcompacting concrete (SCC). The water to binder ratio is maintained at 0.33 for all mixtures. The examined properties include workability, compressive s...

Polymers not only possess repairing functions concerning the concrete structures, but also due to their properties are used in making different types of polymer cements and improving the matrix structure of cement materials, enhancing the viscosity, mechanical, and stability power of concretes. Today, there is limited knowledge on the use of SBR in structural light aggregate concrete. In the pr...

having observed the costly failures of different cutoff walls, that had been constructed according to the mix design specified by reputable consultants in iran, a research programme was conducted to study the effects of constituent materials on the properties of plastic concrete. the main properties, such as compressive strength, biaxial and triaxial strains, permeability, and modulus of elasti...

The strength of concrete is a function of the proportions of the constituent materials, namely, cement, water, fine and coarse aggregates. The conventional methods used to determine the mix proportions that will yield the desired strength, are laborious, time consuming and expensive. In this paper, a mathematical method based on modified regression theory is formulated for the prediction of con...

In this paper, a new approach for nonlinear numerical modelling of the reinforced concrete shear walls with consideration of bar-concrete interaction and shear deformation is proposed. Bar and concrete stress-strain relations, the bar-concrete interaction, the shear stress-strain relation and, also, their cyclic behavior including the strength degradation and stiffness degradation are adopted a...