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

There have been great developments in the area of civil engineering in the recent few decades and among these, construction and material innovation are quite prominent. Steel-concrete composite construction has emerged as one of the fastest methods of construction. Even though considerable research efforts on conventional reinforced concrete columns have been executed prior to now, concrete fil...

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.

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

There is a worldwide interest in using fibers of different types in concrete mixtures. In this regard, as the use of PET fibers has gradually increased during the last decade, this study aims to investigate the effects of PET fibers on the mechanical properties of hardened concrete and the workability of fresh concrete. To this end, different contents of PET fibers (PC= %0, %0.5, %1 and %1.5) a...

Adding steel braces to reinforced concrete frames is a common way for seismic rehabilitation of these structures. Due to ease of installation and the possibility of creating openings in the braced bays, this method of rehabilitation has been more preferred than using shear walls. In this paper, three experimental specimens including a reinforced concrete frame, a reinforced concrete frame with ...

Various experimental studies have been carried out on glass fiber reinforced concrete (GFRC), but in limited studies, the behavior of this type of concrete is evaluated using finite element method (FEM). In this study an analysis model is presented for predicting energy absorption capacity of glass fiber reinforced self-compacting concrete (GFRCSCC) beams and the results are compared with exper...

This article describes a hybrid tool for collaborative information management and retrieval – procspace – that draws on different approaches in the field in order to show in what way those methods can be combined into a single application targeted for use by researchers in the humanities. Integrating data-mining models (such as the vector-space model) into collaborative text filtering can combi...