This paper revisits the construction of Universal One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs, which also obtains better efficiency and security. The construction exploits a strong connection to the recently introduced notion of inaccessible entropy (Haitner et al., STOC 2009). With this perspective, we observe th...

Abstract Rely-guarantee (RG) is a highly influential compositional proof technique for concurrent programs, which was originally developed assuming sequentially consistent shared memory. In this paper, we first generalize RG to make it parametric with respect the underlying memory model by introducing an framework that applicable any axiomatically characterized Hoare triples. Second, instantiat...

We give conditions on the rational numbers a, b, c which imply that there are infinitely many triples (x, y, z) of rational numbers such that x+ y + z = a+ b+ c and xyz = abc. We do the same for the equations x + y + z = a + b + c and x + y + z = a + b + c. These results rely on exhibiting families of positive-rank elliptic curves.

We generalize the cryptographic notion of Order Revealing Encryption (ORE) to arbitrary functions and we present a construction that allows to determine the (partial) ordering of two vectors i.e., given E(x) and E(y) it is possible to learn whether x ≥ y, y ≥ x or whether x and y are incomparable. This is the first non-trivial example of a Revealing Encryption (RE) scheme with output larger tha...

OBJECTIVES This study evaluated the effects of light exposure through simulated indirect ceramic restorations (SICR) on hardness (KHN) of dual-cured resin cements (RCs), immediately after light-activation and 24 h later. MATERIAL AND METHODS Three dual-cured RCs were evaluated: Eco-Link (Ivoclar Vivadent), Rely X ARC (3M ESPE), and Panavia F (Kuraray Medical Inc.). The RCs were manipulated in...