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

This article is focused on lightweight aggregate-concrete modified by municipal sewage sludge and lightweight aggregate-concrete obtained from light aggregates. The article presents laboratory examinations of material physical parameters. Water absorptivity of the examined material was decreased by the admixture of water emulsion of reactive polysiloxanes. Water transport properties were determ...

How many words are needed to define all the words in a dictionary? Graph-theoretic analysis reveals that about 10% of a dictionary is a unique Kernel of words that define one another and all the rest, but this is not the smallest such subset. The Kernel consists of one huge strongly connected component (SCC), about half its size, the Core, surrounded by many small SCCs, the Satellites. Core wor...

In this study, a waterproof material was used to fabricate microcapsule by interfacial curing reaction to encapsulate an alkaliphilic spore-forming bacterium. The technical feasibility of encapsulated spores and the influence of three kinds of curing agent on the calcium precipitation activity (CPA) of the bacterium were studied. Furthermore, micromorphology of microcapsules was observed by Sca...

Accurate assessment of demand and capacity of structures is critical in developing performance-based design methodologies. In this research, new methods are presented towards quantifying demand and capacity of RCFT frames and members. An experimental database was compiled documenting local damage levels of RCFT members. The quantified information collected from the experiments was utilized in c...

Abstract—It is a major challenge to build a bridge superstructure that has long-term durability and low maintenance requirements. A solution to this challenge may be to use new materials or to implement new structural systems. Fiber Reinforced Polymer (FRP) composites have continued to play an important role in solving some of persistent problems in infrastructure applications because of its hi...

Background: Concrete buildings on Guam are exceptionally strong but also accumulate large amounts of heat. In the tropical environment of Guam, where 24 h average temperature ranges from 28 to 29oC year round, air conditioning is used every day and continuously. Concrete roofs are often painted light colors, which make them more reflective and accumulate less heat. They are also suitable for es...

Abstract—In this study, the effects of waste marbles as aggregate material on workability and hardened concrete characteristics of self compacting lightweight concrete are investigated. For this purpose, self compacting light weight concrete are produced by waste marble aggregates are replaced with fine aggregate at 5%, 7.5%, and 10% ratios. Fresh concrete properties, slump flow, T50 time, V fu...