discrete subgroup

Lattice Coding & Crypto Meeting

Lattice-based approaches are emerging as a common theme in modern cryptography and coding theory. In communications, they are indispensable mathematical tools to construct powerful error-correction codes achieving the capacity of wireless channels. In cryptography, they are used to building lattice-based schemes with provable security, better asymptotic efficiency, resilience against quantum attacks and new functionalities such as fully homomorphic encryption.

This meeting — on 21 September 2016 — is aimed at connecting the two communities in the UK with a common interest in lattices, with a long-term goal of building a synergy of the two fields. It will consist of several talks on related topics, with a format that will hopefully encourage interaction.

Program

We have five talks scheduled.

11:00–12:30 | Jean-Claude Belfiore: Ideal Lattices: Connections between number fields and coding constructions

In this talk, we first remind some basics of ideal lattice constructions using both totally real fields and CM-fields. Then, we propose new constructions of famous ideal lattices guided by the regular construction of the underlying lattice. Some examples are given where we obtain ideal lattice constructions for the densest lattices in dimension 8, 12, 24 or 32. We also show that there are infinitely many ideal lattices equivalent to the Leech lattice. Finally, some applications of ideal lattices to the area of wireless communications will be given.

13:30–15:00 | Dan Shepherd: Rings and Modules for Identity-Based Post-Quantum Public-Key Cryptography

Every Public-Key cryptography primitive requires a trapdoor property, so that some activity that is easy for the private key holder(s) is impossible for anyone else. There are several different areas of mathematics that give rise to structures that would seem to be suitable for trapdoors, even in the presence of quantum cryptanalysis, each with its own advantages and disadvantages. The most flexible such area is presently “Ideal-Lattice-Based Crypto”, where schemes for “high-function cryptography”—such as Identity-Based PKC, Secure Multiparty Computation, or Homomorphic Encryption—can also be defined.

In this talk, I will review a 2014 paper of Ducas, Lyubashevsky, and Prest for reasonably efficient IDPKC, describing the trapdoors and the assumptions required for their security. I’ll suggest various possible generalisations that may potentially make the primitives easier to work with or affect the security assessment, and will actively solicit ideas from the audience on how to perform computations as fast as possible.

15:30–16:30 | Antonio Campello: Sampling Algorithms for Lattice Gaussian Codes

Lattice Gaussian distributions are useful tools for constructing efficient cryptographic primitives and capacity-achieving schemes for a number of wireless systems. A worth element towards practical implementations of these schemes is the ability of sampling from such distributions, whose support is an n-dimensional lattice in the Euclidean space.

In this talk, we will present fast specialized algorithms for sampling over lattices constructed from error-correcting codes. This includes the low dimensional lattices with the best coding gains, their duals, and the 24-dimensional Leech lattice. In the derivation of our algorithms, a number of results concerning the theta series of notable lattices will be discussed. Throughout the talk, we will highlight the important role of the theta series in Communications.

Based on joint work with J.-C. Belfiore (Huawei Technologies France)

16:30–17:00 | Cong Ling: Lattice Gaussian Sampling with Markov Chain Monte Carlo (MCMC)

Sampling from a lattice Gaussian distribution is emerging as a common theme in various areas such as coding and cryptography. The default sampling algorithm—Klein’s algorithm yields a distribution close to the lattice Gaussian only if the standard deviation is sufficiently large. This talk is concerned with a new method based on Markov chain Monte Carlo (MCMC) for lattice Gaussian sampling, which converges to the target lattice Gaussian distribution for any value of the standard deviation. A number of algorithms will be presented, such as Gibbs and Metropolis-Hastings. A problem of central importance is to determine the mixing time. It is proven that some of these Markov chains are geometrically ergodic, namely, the sampling algorithms converge to the stationary distribution exponentially fast.

Based on joint work with Zheng Wang and Guillaume Hanrot. (See http://arxiv.org/abs/1501.05757 and http://arxiv.org/abs/1405.1623.)

17:00–18:30 | Daniel Dadush: Solving SVP and CVP in 2n Time via Discrete Gaussian Sampling

We show $2^{n+o(n)}$-time algorithms for the Shortest Vector Problem and the Closest Vector Problem on n-dimensional lattices (improving on the previous best-known algorithm of Micciancio and Voulgaris, which runs in time $4^{n+o(n)}$). The algorithms use the elementary yet powerful observation that, by properly combining samples from a Gaussian distribution over the lattice, we can produce exact samples from a narrower Gaussian distribution on the lattice. We use such a procedure repeatedly to obtain samples from an arbitrarily narrow Gaussian distribution over the lattice, allowing us to find a shortest (and closest) vector.

The SVP algorithm and its analysis are quite simple in hindsight. The main technical tool is an identity on Gaussian measures with a simple geometric proof originally due to Riemann. We will also discuss some of the subtleties that come up in adapting it to the Closest Vector Problem (a seemingly harder problem).

Based on joint work with Divesh Aggarwal, Oded Regev and Noah Stephens-Davidowitz. (See http://arxiv.org/abs/1412.7994 and http://arxiv.org/abs/1504.01995.)

Venue

Arts Building Ground Floor Room 24
Royal Holloway, University of London
Egham Hill
Egham
Surrey TW20 0EX

Everyone is welcome. Two caveats:

  1. Speakers are told the audience is somewhat familiar with lattices.

  2. Please send us an email at martin.albrecht@royalholloway.ac.uk, so that the size of the room fits with the number of participants.