No abstract uploaded!

Oblivious transfer is one of the main pillars of modern cryptography and plays a major role as a building block for other more complex cryptographic primitives. In this work, we present an efficient and versatile framework for oblivious transfer (OT) using one-round key-exchange (ORKE), a special class of key exchange (KE) where only one message is sent from each party to the other. Our contributions can be summarized as follows: - We analyze carefully ORKE schemes and introduce new security definitions. Namely, we introduce a new class of ORKE schemes, called Alice-Bob one-round key-exchange (A-B ORKE), and the definitions of message and key indistinguishability. - We show that OT can be obtained from A-B ORKE schemes fulfilling message and key indistinguishability. We accomplish this by designing a new efficient, versatile and universally composable framework for OT in the Random Oracle Model (ROM). The efficiency of the framework presented depends almost exclusively on the efficiency of the A-B ORKE scheme used since all other operations are linear in the security parameter. Universally composable OT schemes in the ROM based on new hardness assumptions can be obtained from instantiating our framework. Examples are presented using the classical Diffie-Hellman KE, RLWE-based KE and Supersingular Isogeny Diffie-Hellman KE.

We give existence results for simple closed curves with prescribed geodesic curvature on S2, which correspond to periodic orbits of a charge in a magnetic field.

No abstract uploaded!

Starting with a commutative ring $R$ and an ideal $I$ , it is possible to define a family of rings $R(I)_{a,b}$ , with $a,b \in R$ , as quotients of the Rees algebra $\oplus_{n \geq0} I^{n}t^{n}$ ; among the rings appearing in this family we find Nagata’s idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a$ , $b$ ; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a$ , $b$ . More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we find a formula for the type.