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

BACKGROUND Five workers from a plant manufacturing concrete wall panels and beams were referred to our department because of suspected occupational dermatitis. When patch tested, 3 workers reacted to potassium dichromate. Four workers reacted to ethylenediamine dihydrochloride, without any obvious exposure. Owing to the high proportion of workers with recent-onset skin disease, an investigation...

Current environmental and economical circumstances accelerate the developments of new concrete constituents. Whereas the process technology impacts the mix-design strategy, it seems obvious that manufacturing process is prone to evolutions. This article presents a method to compare environmental and economical consequences of different technological solutions on the basis of the influence on th...

Following a recent world wide resurgence in the desire to build and operate nuclear power stations as a response to rising energy demands and global plans to reduce carbon emissions, and in the light of recent events such as those at the Fukushima Dai-ichi nuclear power plant in Japan, which have raised questions of safety, this work has investigated the long term behaviour of concrete nuclear ...