1. Generic power attacks on RSA with CRT and exponent blinding: new results

   • Werner Schindler
   • Andreas Wiemers

   Regular Paper 09 January 2017 Pages: 255 - 272

2. SPA vulnerabilities of the binary extended Euclidean algorithm

   • Alejandro Cabrera Aldaya
   • Alejandro J. Cabrera Sarmiento
   • Santiago Sánchez-Solano

   Regular Paper 08 July 2016 Pages: 273 - 285

   

3. Efficient implementation of generalized Maiorana–McFarland class of cryptographic functions

   • Enes Pasalic
   • Anupam Chattopadhyay
   • WeiGuo Zhang

   Regular Paper 09 September 2016 Pages: 287 - 295

   

4. Introduction to the PROOFS 2016 special section

   • Naofumi Homma

   Special Section on Proofs 2016 05 October 2017 Pages: 297 - 298

5. Formal fault analysis of branch predictors: attacking countermeasures of asymmetric key ciphers

   • Sarani Bhattacharya
   • Debdeep Mukhopadhyay

   Special Section on Proofs 2016 09 May 2017 Pages: 299 - 310

   

6. A study on analyzing side-channel resistant encoding schemes with respect to fault attacks

   • Jakub Breier
   • Dirmanto Jap
   • Shivam Bhasin

   Special Section on PROOFS 2016 06 June 2017 Pages: 311 - 320

   

7. Using modular extension to provably protect Edwards curves against fault attacks

   • Margaux Dugardin
   • Sylvain Guilley
   • Pablo Rauzy

   Special Section on Proofs 2016 13 June 2017 Pages: 321 - 330

   

8. Optimal side-channel attacks for multivariate leakages and multiple models

   • Nicolas Bruneau
   • Sylvain Guilley
   • Olivier Rioul

   Special Section on Proofs 2016 11 August 2017 Pages: 331 - 341

   

9. Template attack versus Bayes classifier

   • Stjepan Picek
   • Annelie Heuser
   • Sylvain Guilley

   Special Section on Proofs 2016 22 September 2017 Pages: 343 - 351