Benjamin Smith

Équipe-Projet GRACE, INRIA Saclay–Île-de-France
Laboratoire d'informatique (LIX), École polytechnique

We jam econo. // Email: smith@lix... // PGP: public key // Phone: email first // Photo: cheese // "Summer internship?": No.

I am a research scientist (chargé de recherche) at INRIA, a French public research institute for computing and applied maths, and also an adjunct assistant professor (chargé d'enseignement) in the computer science department at the École polytechnique.

I do research in algorithmic arithmetic geometry and number theory, and their applications in asymmetric cryptography.
I am particularly interested in

I studied algorithmic number theory in Sydney with David Kohel. I worked as a postdoc at Royal Holloway with Steven Galbraith. I've been at LIX, and with INRIA, since November 2007.

Our brain has two halves: one is responsible for the multiplication of polynomials and languages, and the other half is responsible for orientation of figures in space and all the things important in real life. Mathematics is geometry when you have to use both halves.
—V. I. Arnol'd

When a theorem, say the law of quadratic reciprocity, has been established one is apt to forget that it started life as a conjecture based on numerical evidence. Number theory is an experimental science.
—J. W. S. Cassels

Publications and preprints

The list above is automatically extracted from the INRIA HAL database.

Alternate (though mostly identical) versions of some preprints are also hosted on the IACR ePrint server: Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes (with Chung and Costello); The Q-curve Construction for Endomorphism-Accelerated Elliptic Curves; Faster Compact Diffie-Hellman: Endomorphisms on the x-line (with Costello and Hisil); Easy scalar decompositions for efficient scalar multiplication on elliptic curves and genus 2 Jacobians; Families of fast elliptic curves from Q-curves; Counting Points on Genus 2 Curves with Real Multiplication (with Gaudry and Kohel); Isogenies and the Discrete Logarithm Problem on Jacobians of Genus 3 Hyperelliptic Curves; Distortion maps for genus two curves (with Galbraith, Pujolàs, and Ritzenthaler); Discrete Logarithms in Generalized Jacobians (with Galbraith).

Isogeny data

Data files for the article Families of explicitly isogenous Jacobians of variable-separated curves can be found here. The polynomials in these files also appear in Families of Explicit Isogenies of Hyperelliptic Jacobians, and are based on the exceptional pairs of polynomials in Pierrette Cassou-Noguès and Jean-Marc Couveignes' "Factorisations explicites de g(y)-h(z)".

Compact crypto implementations for microcontrollers

Joost Renes, Peter Schwabe, Lejla Batina, and I developed μKummer: an efficient, open implementation of Diffie–Hellman key exchange and Schnorr signatures for 8- and 32-bit microcontrollers (AVR ATmega and Cortex M0), based on genus 2 curves. The project is described in our CHES 2016 paper, and the source code is publicly available from Joost's site.

μKummer is more or less superseded by qDSA, a Kummer-only signature scheme (similar to EdDSA) developed for microcontrollers that Joost and I designed to use much less stack space. The details are in the preprint, and the reference implementation can is available from Joost's site.

Compact Diffie–Hellman implementation

Craig Costello, Huseyin Hisil, and I developed a fast, open, compact Diffie–Hellman implementation targeting the 128-bit security level on 64-bit Intel platforms. The project is detailed in our Eurocrypt 2014 paper, and the source code is publicly available from Huseyin's site. Craig has also made the Magma code from this project available.

Mestre translations

I have found Jean-François Mestre's work very useful, and also a lot of fun to read.
I am making these translations available (with Mestre's kind permission) for colleagues who have difficulty reading the French originals.

"Summer internships"

I do not supervise 2- or 3-month "summer internships" (longer internships at other times are a different matter—see below). This is due to a combination of French workplace laws, French security laws, the particularities of the polytechnique site, and my personal calendar.
If you contact me asking for an internship of this kind, then normally I will not reply to your email.
If you put "summer internship" in the subject line, then typically I will delete your email without reading it.

Internships of at least four months' duration are possible. You should be enrolled in (at least) a Masters-level program in computer science or pure mathematics, with a strong general mathematical and computing background. Be warned: if you are not a French citizen, then we need at least three months advance notice (seriously) to get the necessary paperwork done.