No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

IN 1970 Lawson [22] proved that two embedded closed diffeomorphic minimal surfaces in the unit three-dimensional sphere S3 in lRJ are ambiently isotopic in S3. Lawson proved this theorem by first proving that an embedded orientable closed minimal surface of genus y in a closed orientable Riemannian three-manifold Mwith positive Ricci curvature disconnects M-into two genus-8 handlebodics. A result of Frankel [7] was used to prove this. Lawson then applied a deep result of Waldhauscn [33] that states that decompositions of SJ into two genus-cl handlebodies arc unique up to ambient isotopy. More prcciscly. Waldhauscns uniqucncss thcorcm states that whenever a closed surface of genus y in S separates SJ into handlcbodics, then the embedding of the surface is as simple as possible; in other words, the surface is obtained from a two-sphere Sz c Sby adding handles in an unknotted manner.

In this paper, we introduce a new provably secure ephemeral-only RLWE+Rounding-based key exchange protocol and a proper approach to more accurately estimate the security level of the RLWE problem with only one sample. Since our scheme is an ephemeral-only key exchange, it generates only one RLWE sample from protocol execution. We carefully analyze how to estimate the practical security of the RLWE problem with only one sample, which we call the ONE-sample RLWE problem. Our approach is different from existing approaches that are based on estimation with multiple RLWE samples. Though our analysis is based on some recently developed techniques in Darmstadt, our type of practical security estimate was never done before and it produces security estimates substantial different from the estimates before based on multiple RLWE samples. We show that the new design improves the security and reduce the communication cost of the protocol simultaneously by using one RLWE+Rounding sample technique. We also present two parameter choices ensuring 2^{−60} key exchange failure probability which cover security of AES-128/192/256 with concrete security analysis and implementation. We believe that our construction is secure, simple, efficient and elegant with wide application prospects.