1. Mutual information analysis: higher-order statistical moments, efficiency and efficacy

   • Mathieu Carbone
   • Yannick Teglia
   • Philippe Maurine

   Regular Paper 03 March 2016 Pages: 1 - 17

   

2. Editorial about PROOFS 2015

   • Sylvain Guilley

   Special Section on Proofs 2015 27 March 2017 Pages: 19 - 20

3. Trust can be misplaced

   • Noreddine El Janati El Idrissi
   • Guillaume Bouffard
   • Said El Hajji

   Special Section on Proofs 2015 01 November 2016 Pages: 21 - 34

   

4. Buffer overflow attack with multiple fault injection and a proven countermeasure

   • Shoei Nashimoto
   • Naofumi Homma
   • Takafumi Aoki

   Special Section on Proofs 2015 20 July 2016 Pages: 35 - 46

   

5. Smart security management in secure devices

   • Bruno Robisson
   • Michel Agoyan
   • Guillaume Phan

   Special Section on Proofs 2015 07 November 2016 Pages: 47 - 61

   

6. SMASHUP: a toolchain for unified verification of hardware/software co-designs

   • Florian Lugou
   • Ludovic Apvrille
   • Aurélien Francillon

   Special Section on Proofs 2015 17 November 2016 Pages: 63 - 74

   

7. Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification

   • Sabine Azzi
   • Bruno Barras
   • David Vigilant

   Special Section On Proofs 2015 28 October 2016 Pages: 75 - 85

   

8. Multi-level formal verification

   • Laurent Sauvage
   • Tarik Graba
   • Thibault Porteboeuf

   Special Section on Proofs 2015 22 November 2016 Pages: 87 - 95