In this paper, we present a practical and provably secure two-pass authenticated key exchange protocol over ideal lattices, which is conceptually simple and has similarities to the Diffie-Hellman based protocols such as HMQV (CRYPTO 2005) and OAKE (CCS 2013). Our method does not involve other cryptographic primitives—in particular, it does not use signatures—which simplifies the protocol and enables us to base the security directly on the hardness of the ring learning with errors problem. The security is proven in the Bellare-Rogaway model with weak perfect forward secrecy in the random oracle model. We also give a one-pass variant of our two-pass protocol, which might be appealing in specific applications. Several concrete choices of parameters are provided, and a proof-of-concept implementation shows that our protocols are indeed practical.

No abstract uploaded!

No abstract uploaded!

We introduce and study the notion of singular hermitian metrics on holomorphic vector bundles, following Berndtsson and Păun. We define what it means for such a metric to be positively and negatively curved in the sense of Griffiths and investigate the assumptions needed in order to locally define the curvature Θ^{$h$}as a matrix of currents. We then proceed to show that such metrics can be regularised in such a way that the corresponding curvature tensors converge weakly to Θ^{$h$}. Finally we define what it means for$h$to be strictly negatively curved in the sense of Nakano and show that it is possible to regularise such metrics with a sequence of smooth, strictly Nakano negative metrics.

In this follow-up work, we extend the discontinuous Galerkin (DG) methods previously developed on rectangular meshes \cite{previous} to triangular meshes. The DG schemes in \cite{previous} are both optimally convergent and energy conserving. However, as we shall see in the numerical results section, the DG schemes on triangular meshes only have suboptimal convergence rate. We prove the energy conservation and an error estimate for the semi-discrete schemes. The stability of the fully discrete scheme is proved and its error estimate is stated. We present extensive numerical results with convergence consistent of our error estimate, and simulations of wave propagation in Drude metamaterials to demonstrate the flexibility of triangular meshes.