This paper addresses the security of public-key cryptosystems in a \multi-user" setting, namely in the presence of attacks involving the encryption of related messages under di erent public keys, as exempli ed by H astad's classical attacks on RSA. We prove that security in the single-user setting implies security in the multi-user setting as long as the former is interpreted in the strong sens...

We identify a flaw in the security proof and a flaw in the concrete security analysis of the WOTS-PRF variant of the Winternitz one-time signature scheme, and discuss the implications to its concrete security.

ion Abstraction is a fundamental concept used in all formal verification methods. Abstracting means replacing a concrete object with an abstract one which is more universal, and therefore, often has a simpler structure than before. A well-chosen abstraction simplifies as much as possible, without losing too much information about the concrete object. Abstractions can be used in different ways d...

Construction progress monitoring has been recognized as one of the key elements that lead to the success of a construction project. The first requirement for effective progress monitoring is the collection and analysis of construction progress information. Through the use of image retrieval, progress information about structural components can be derived from the construction site image. In thi...

High Strength Concrete (HSC) is defined as concrete that meets special combination of performance and uniformity requirements that cannot be achieved routinely using conventional constituents and normal mixing, placing, and curing procedures. It is a highly complex material, which makes modeling its behavior a very difficult task. This paper aimed to show possible applicability of Neural Networ...

Today, due to the complexity of engineering problems and at the same time the advancement of computer science, the use of machine learning (ML) methods and soft computing methods in solving engineering problems has been considered by many researchers. These methods can be used to find accurate estimates for problems in various scientific fields. This paper investigates the effectiveness of the ...

Limestone is widely used in the construction industry to produce Portland limestone cement (PLC) concrete. Systematic evaluations of hydration kinetics, compressive strength development, and carbonation resistance are crucial for the rational use of limestone. This study presents a hydration-based model for evaluating the influences of limestone on the strength and carbonation of concrete. Firs...

High Strength Concrete (HSC) is defined as concrete that meets special combination of performance and uniformity requirements that cannot be achieved routinely using conventional constituents and normal mixing, placing, and curing procedures. It is a highly complex material, which makes modeling its behavior a very difficult task. This paper aimed to show possible applicability of Neural Networ...

dual systems of steel moment frame and reinforced concrete shear wall have combined the advantages of steel frames and reinforced concrete shear wall. these walls have increased the lateral stiffness of steel frames and have reduced seismic demands on steel frames thus providing opportunities to use such system. in this research intermediate dual system of steel moment frame was chosen with int...