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

The control of thermal cracks induced by the effect early age are main concerns in concrete dam during construction stage. Despite its importance, detailed analysis gravity dams period is relatively rarely literature, eventually because prediction behavior on stage requires taking into account several phenomena and interaction, demands a considerable computational effort. To overcome this drawb...

Accurate prediction and reasonable warning for dam displacement are important contents of safety monitoring. However, it is difficult to identify abnormal based on deterministic point results. In response, this paper proposes a model that integrates several strategies achieve high-precision interval displacement. Specifically, the realized in three stages. first stage, Extreme gradient boosting...

The aim of this work is to take full advantage Spectral Element (SE) and Finite (FE) codes by setting up a SEM/FEM co-simulation strategy for soil structure interaction problems, involving SE code generate propagate elastic waves in the soil, while FE enables detailed representation studied structure. spatial coupling managed standard mortar approach, whereas time integration dealt with an hybr...

Analyzing the working conditions of a dam using safety monitoring indices (SMIs) is relatively intuitive and effective method for evaluation. Therefore, reasonable accurate determining SMIs vital importance assessment. However, current methods dams, especially roller-compacted concrete (RCC) have many shortcomings, such as ignoring construction process dam, coupling effect among multiple physic...