Two post-quantum password-based authenticated key exchange (PAKE) protocols were proposed at CTRSA 2017. Following this work, we give much more efficient and portable C++ implementation of these two protocols. We also choose more compact parameters providing 200-bit security. Compared with original implementation, we achieve 21.5x and 18.5x speedup for RLWE-PAK and RLWE-PPK respectively. Compare with quantum-vulnerable J-PAKE protocol, we achieve nearly 8x speedup. We also integrate RLWE-PPK into TLS to construct a post-quantum TLS ciphersuite. This allows simpler key management, mutual authentication and resistant to phishing attack. Benchmark shows that our ciphersuite is indeed practical

No abstract uploaded!

We study the limit of quasilocal energy defined in [7] and [8] for a family of spacelike 2-surfaces approaching null infinity of an asymptotically flat spacetime. It is shown that Lorentzian symmetry is recovered and an energy-momentum 4-vector is obtained. In particular, the result is consistent with the Bondi–Sachs energy-momentum at a retarded time. The quasilocal mass in [7] and [8] is defined by minimizing quasilocal energy among admissible isometric embeddings and observers. The solvability of the Euler-Lagrange equation for this variational problem is also discussed in both the asymptotically flat and asymptotically null cases. Assuming analyticity, the equation can be solved and the solution is locally minimizing in all orders. In particular, this produces an optimal reference hypersurface in the Minkowski space for the spatial or null exterior region of an asymptotically flat spacetime.

Let M be a compact Hamiltonian T−space, with finite fixed point set MT . An equivariant class is determined by its restriction to MT , and to each fixed point p ∈ MT and generic component of the moment map, there corresponds a canonical class τp. For a special class of Hamiltonian T−spaces, the value τp,q of τp at a fixed point q can be determined through an iterated interpolation procedure, and we obtained a formula for τp,q as a sum over ascending chains from p to q. In general the number of such chains is huge, and the main result of this paper is a procedure to reduce the number of relevant chains, through a systematic degeneration of the interpolation direction. The resulting formula for τp,q resembles, via the localization formula, an integral over a space of chains, and we prove that, for complex Grassmannians, τp,q can indeed be expressed as the integral of an equivariant form over a smooth Schubert variety.

No abstract uploaded!