1. Faster 64-bit universal hashing using carry-less multiplications

   • Daniel Lemire
   • Owen Kaser

   Regular Paper 04 September 2015 Pages: 171 - 185

   

2. Inversion-free arithmetic on elliptic curves through isomorphisms

   • Raveen R. Goundar
   • Marc Joye

   Regular Paper 28 May 2016 Pages: 187 - 199

   

3. Formally proved security of assembly code against power analysis

   • Pablo Rauzy
   • Sylvain Guilley
   • Zakaria Najm

   Special Section on Proofs 2014 24 June 2015 Pages: 201 - 216

   

4. Physical functions: the common factor of side-channel and fault attacks?

   • Bruno Robisson
   • Hélène Le Bouder

   Special Section on Proofs 2014 14 October 2015 Pages: 217 - 227

   

5. Implementation of a leakage-resilient ElGamal key encapsulation mechanism

   • David Galindo
   • Johann Großschädl
   • Srinivas Vivek

   Special Section on Proofs 2014 Open access 29 February 2016 Pages: 229 - 238

   

6. Method taking into account process dispersion to detect hardware Trojan Horse by side-channel analysis

   • Xuan Thuy Ngo
   • Zakaria Najm
   • Jean-Luc Danger

   Special Section on Proofs 2014 07 April 2016 Pages: 239 - 247

   

7. PAC learning of arbiter PUFs

   • Fatemeh Ganji
   • Shahin Tajik
   • Jean-Pierre Seifert

   Special Section on Proofs 2014 10 February 2016 Pages: 249 - 258