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

A great amount of radioactive concrete waste was produced from the decontamination and decommissioning of a research reactor and uranium conversion plant at KAERI. To reduce the volume of concrete waste, a separation technology of porous fine cement paste from the gravel and aggregate in concrete through a thermal and mechanical treatment was developed [1]. However, since some gravel and aggreg...

Concrete deformation due to temperature and moisture condition will always develop simultaneously and interactively. The environmentally (hygral and thermally) induced stress and deformation are essential to concrete durability. To simulate the deformation of concrete caused by the coupling effect of temperature and moisture, a numerical simulation approach is proposed comprising analytical pro...

In internal curing, pre-wetted lightweight aggregates (LWA) serve as internal reservoirs to supply the extra water needed by the cementitious and pozzolanic components of the concrete during their hydration processes. Due to their porous nature and reasonably high absorption capacity, the LWA can also be filled with other materials, such as phase change materials (PCMs). In this paper, three po...

Propagation of guided waves in a solid rod surrounded by infinite media is an interesting research topic of practical importance. One important application is ultrasonic nondestructive evaluation (NDE) of rock bolts. Rock bolts are inserted into the mixture of rock and concrete to ensure the stability of the groundwork. For this research topic, it is important to study the propagation of guided...

Recycled Concrete Aggregates (RCA) are not enough used in the construction sector due to their high porosity and water absorption capacity. Fine particles which composed of large amounts attached hardened cement paste even more difficult valorize, while they could be as mineral admixture mortar or concrete. The objective this work is find a recovery track for material addition. use porous powde...

Multi-criteria decision making methods (MCDM) have been widely used throughout the last years to assist project contractors in selection processes related to the construction field. Sustainable urban drainage systems (SUDS) are an especially suitable discipline to implement these techniques, since they involve important impacts on each branch of sustainability: economy, environment and society....

The article describes the results of theoretical and experimental studies to identify relationship between parameters steam structure thermal conductivity ashclaydite. correlation dependences coefficient ash-claydite on its stream have been established. analysis these works shows that lightweight concrete depends type porous aggregate, direction heat flow in relation layering concrete, average ...