The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on multiplication in a binary finite field. We analyze its security and performance, and show that it is the most efficient mode of operation for high speed packet networks, by using a realistic model of a network crypto module and e...

Elevated rail transit has been developed in some big cities in China in recent years. However, specialized codes for design of the bridges in the elevated rail transit system have not yet been established. Based on the prestressed concrete (PC) box girder bridges on Guangzhou metro line 4, some technical features of design principle and technology requisition, ensemble plan and design load of b...

We study notions of security and schemes for symmetric (ie. private key) encryption in a concrete security framework. We give several di erent notions of security and analyze the concrete complexity of reductions among them. Next we provide concrete security analyses of various methods of encrypting using a block cipher, including two of the most popular methods, Cipher Block Chaining and Count...

This paper revisits the concrete security of key-alternating ciphers and key-length extension schemes, with respect to tightness and multi-user security. The best existing bounds on the concrete security of key-alternating ciphers (Chen and Steinberger, EUROCRYPT ’14) are only asymptotically tight, and the quantitative gap with the best existing attacks remains numerically substantial for concr...

The block concept is a fundamental modelling construct in the Systems Modeling Language (SysML), a visual modelling language for systems engineering applications. In a top-down systems engineering approach, an abstract block is decomposed into concrete communicating sub-blocks. However, the classifier behaviour of the abstract block must be exhibited by the composition of the concrete sub-block...

A new general method for designing key-dependent reversible circuits is proposed and concrete examples are included. The method is suitable for data scrambling of internal links and memories on smart card chips in order to foil the probing attacks. It also presents a new paradigm for designing block ciphers suitable for small-size and/or high-speed hardware implementations. In particular, a con...

an experimental study is conducted on three ½ scales, single-story, single-bay, frame specimens. the first specimen was a reinforced concrete frame with solid-brick infill. the second specimen was a reinforced concrete frame with hollow clay perforated-brick infill. the last specimen was a reinforced concrete frame without any infill. these three specimens were tested by pseudostatic method. di...

The purpose of this study was to evaluate the performance of porous vegetation concrete block made from blast furnace slag cement containing industrial by-products such as blast furnace slag aggregate and powder. The blocks were tested for void ratio, compressive strength and freeze-thaw resistance to determine the optimal mixing ratio for the porous vegetation block. An economic analysis of th...