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,...

in this paper, using numerical methods and test results, the behavior of reinforced concrete beams strengthened with fiber-reinforced polymers (frp) is investigated. in the numerical analysis, the concrete damaged plasticity model is used for considering the nonlinear behavior and strain softening of concrete. the abaqus finite element program is utilized for the analysis of 12 flexural beams s...

A mathematical model for the description of drying shrinkage of autoclaved aerated concrete (AAC) is presented, bringing together the hygrothermal and mechanical considerations. The verification of the model is done using an approximation of a real laboratory experiment. Then, the applicability of the model is demonstrated by a numerical simulation of drying shrinkage and wetting expansion of A...

an analytical nonlinear stress-strain model and a microscopic damage index for confined and unconfined concretes together with a macroscopic damage index for reinforced concrete (rc) structures under cyclic loading are proposed. in order to eliminate the problem of scale effect, an adjustable finite element computer program was generated to simulate rc structures subjected to cyclic loading. by...

in this paper a new method based on strut-and-tie model (stm) is proposed to determine the shear capacity of simply supported rc deep beams and an efficiency factor for concrete with considering the effect of web reinforcements. it is assumed that, the total carried shear force by rc deep beam provided by two independent resistance, namely diagonal concrete strut due to strut-and-tie mechanism ...

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.

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...

M. Naor (Ed.): TCC 2004, LCNS 2951, pages 336 352, February 2004. c © Springer-Verlag Berlin Heidelberg 2004. Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography, i.e., the specification is an ideal system and a real system should in some sense simulate this ideal one...

steel corrosion of bars in concrete structures is a complex process which leads to the reduction of the cross-section bars and decreasing the resistance of the concrete and steel materials. in this study, reliability analysis of a reinforced concrete beam with corrosion defects under the distributed load was investigated using the enhanced hasofer-lind and rackwitz-fiessler (ehl-rf) method base...