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.

The reliability of building structures is a very important design criterion. required level security depends not only on the function and purpose facility, but also parameters considered at stage. There are factors to that with some probability they increase uncertainty adopted in calculations, as result which structure fails. It happens execution errors made during process creating an object. ...

A fertile area of recent research has demonstrated concrete polynomial time lower bounds for solving natural hard problems on restricted computational models. Among these problems are Satisfiability, Vertex Cover, Hamilton Path, MOD6-SAT, Majority-ofMajority-SAT, and Tautologies, to name a few. The proofs of these lower bounds follow a certain proof-by-contradiction strategy that we call altern...

State-of-the art techniques for automated test generation focus on generating executions that cover program behavior. As they do not generate oracles, it is up to the developer to figure out what a test does and how to check the correctness of the observed behavior. In this paper, we present an approach to generate parameterized unit tests—unit tests containing symbolic preand postconditions ch...

This paper reports an investigation on the high-temperature effect composites manufactured with steel profiles embedded within concrete for varying temperatures. A total of 24 experiments were performed in two groups and all specimens self-compacting concrete. The effects high temperature are investigated through rectangular prism type specimens, by using cover as 25, 50, 75 mm. testing tempera...

To judge about the performance of designed support system for tunnels, structural forces i.e. peak values of axial and shear forces and moments are critical parameters. So in this study, at first a complete database using finite element method was prepared. Then, a model of artificial neural network (ANN) using multi-layer perceptron was developed to estimate lining structural forces. Sensitivi...

The majority of works in the field chloride-indued corrosion steel concrete are focused on cracks formed by products. However, number studies influence (pre-cracked concrete) is limited. Cracks create preferential/free paths for penetration chlorides, water, and oxygen into concrete; thus, presence can intensify chloride-induced reinforcement. This paper presents a review effects cracking concr...